Property-preserving petri net process algebra in software engineering
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Singapore :
World Scientific Pub. Co.,
2012.
|
| Matèries: | |
| Accés en línia: | An electronic book accessible through the World Wide Web; click to view |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Property-preserving petri net process algebra in software engineering
per: Huang, Hejiao
Publicat: (2012)
per: Huang, Hejiao
Publicat: (2012)
Biological petri nets
Publicat: (2011)
Publicat: (2011)
Biological petri nets
Publicat: (2011)
Publicat: (2011)
Petri nets fundamental models, verification and applications /
Publicat: (2009)
Publicat: (2009)
Petri nets fundamental models, verification and applications /
Publicat: (2009)
Publicat: (2009)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
per: Yoeli, Michael, 1917-
Publicat: (2008)
per: Yoeli, Michael, 1917-
Publicat: (2008)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
per: Yoeli, Michael, 1917-
Publicat: (2008)
per: Yoeli, Michael, 1917-
Publicat: (2008)
Stochastic Petri Nets for Wireless Networks
per: Lei, Lei
Publicat: (2015)
per: Lei, Lei
Publicat: (2015)
Systems dependability assessment : benefits of petri net models /
per: Aubry, Jean-François, et al.
Publicat: (2015)
per: Aubry, Jean-François, et al.
Publicat: (2015)
Systems dependability assessment : benefits of petri net models /
per: Aubry, Jean-François, et al.
Publicat: (2015)
per: Aubry, Jean-François, et al.
Publicat: (2015)
Irene Petrie : missionary to Kashmir /
per: Carus-Wilson, Ashley
Publicat: (1900)
per: Carus-Wilson, Ashley
Publicat: (1900)
The radical fiction of Ann Petry
per: Clark, Keith, 1963-
Publicat: (2013)
per: Clark, Keith, 1963-
Publicat: (2013)
The radical fiction of Ann Petry
per: Clark, Keith, 1963-
Publicat: (2013)
per: Clark, Keith, 1963-
Publicat: (2013)
Logic, computation, hierarchies /
Publicat: (2014)
Publicat: (2014)
Logic, computation, hierarchies /
Publicat: (2014)
Publicat: (2014)
Flinders Petrie a life in archaeology /
per: Drower, Margaret S.
Publicat: (1995)
per: Drower, Margaret S.
Publicat: (1995)
Flinders Petrie a life in archaeology /
per: Drower, Margaret S.
Publicat: (1995)
per: Drower, Margaret S.
Publicat: (1995)
A half-century of automata theory celebration and inspiration /
Publicat: (2001)
Publicat: (2001)
A half-century of automata theory celebration and inspiration /
Publicat: (2001)
Publicat: (2001)
Machine analysis with computer applications for mechanical engineers /
per: Doane, James
Publicat: (2016)
per: Doane, James
Publicat: (2016)
Machine analysis with computer applications for mechanical engineers /
per: Doane, James
Publicat: (2016)
per: Doane, James
Publicat: (2016)
Algebraic shift register sequences
per: Goresky, Mark, 1950-
Publicat: (2012)
per: Goresky, Mark, 1950-
Publicat: (2012)
Algebraic shift register sequences
per: Goresky, Mark, 1950-
Publicat: (2012)
per: Goresky, Mark, 1950-
Publicat: (2012)
Algebraic theory of automata and languages
per: Itō, Masami, 1941-
Publicat: (2004)
per: Itō, Masami, 1941-
Publicat: (2004)
Algebraic theory of automata and languages
per: Itō, Masami, 1941-
Publicat: (2004)
per: Itō, Masami, 1941-
Publicat: (2004)
ASP.NET Web API : build RESTful web applications and services on the .NET framework : master ASP.NET Web API using .NET Framework 4.5 and Visual Studio 2013 /
per: Kanjilal, Joydip
Publicat: (2013)
per: Kanjilal, Joydip
Publicat: (2013)
ASP.NET Web API : build RESTful web applications and services on the .NET framework : master ASP.NET Web API using .NET Framework 4.5 and Visual Studio 2013 /
per: Kanjilal, Joydip
Publicat: (2013)
per: Kanjilal, Joydip
Publicat: (2013)
Software engineering /
per: Sommerville, Ian
Publicat: (2004)
per: Sommerville, Ian
Publicat: (2004)
Software engineering /
per: Sommerville, Ian
Publicat: (2004)
per: Sommerville, Ian
Publicat: (2004)
Beginning software engineering /
per: Stephens, Rod
Publicat: (2015)
per: Stephens, Rod
Publicat: (2015)
Beginning software engineering /
per: Stephens, Rod
Publicat: (2015)
per: Stephens, Rod
Publicat: (2015)
Software engineering : analysis and design /
per: Easteal, Charles
Publicat: (1989)
per: Easteal, Charles
Publicat: (1989)
Software engineering : theory and practice.
per: Pfleeger, Shari Lawrence
Publicat: (2006)
per: Pfleeger, Shari Lawrence
Publicat: (2006)
Software engineering : theory and practice /
per: Pfleeger, Shari Lawrence
Publicat: (2001)
per: Pfleeger, Shari Lawrence
Publicat: (2001)
Software engineering : analysis and design /
per: Easteal, Charles
Publicat: (1989)
per: Easteal, Charles
Publicat: (1989)
Software engineering : theory and practice.
per: Pfleeger, Shari Lawrence
Publicat: (2006)
per: Pfleeger, Shari Lawrence
Publicat: (2006)
Software engineering : theory and practice /
per: Pfleeger, Shari Lawrence
Publicat: (2001)
per: Pfleeger, Shari Lawrence
Publicat: (2001)
Software engineering architecture-driven software development /
per: Schmidt, Richard, 1956-
Publicat: (2013)
per: Schmidt, Richard, 1956-
Publicat: (2013)
Software engineering architecture-driven software development /
per: Schmidt, Richard, 1956-
Publicat: (2013)
per: Schmidt, Richard, 1956-
Publicat: (2013)
Software engineering /
per: Sommerville, Ian, 1951-
Publicat: (2016)
per: Sommerville, Ian, 1951-
Publicat: (2016)