Property-preserving petri net process algebra in software engineering
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awdur Corfforaethol: | |
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Singapore :
World Scientific Pub. Co.,
2012.
|
| Pynciau: | |
| Mynediad Ar-lein: | An electronic book accessible through the World Wide Web; click to view |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
Property-preserving petri net process algebra in software engineering
gan: Huang, Hejiao
Cyhoeddwyd: (2012)
gan: Huang, Hejiao
Cyhoeddwyd: (2012)
Biological petri nets
Cyhoeddwyd: (2011)
Cyhoeddwyd: (2011)
Biological petri nets
Cyhoeddwyd: (2011)
Cyhoeddwyd: (2011)
Petri nets fundamental models, verification and applications /
Cyhoeddwyd: (2009)
Cyhoeddwyd: (2009)
Petri nets fundamental models, verification and applications /
Cyhoeddwyd: (2009)
Cyhoeddwyd: (2009)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
gan: Yoeli, Michael, 1917-
Cyhoeddwyd: (2008)
gan: Yoeli, Michael, 1917-
Cyhoeddwyd: (2008)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
gan: Yoeli, Michael, 1917-
Cyhoeddwyd: (2008)
gan: Yoeli, Michael, 1917-
Cyhoeddwyd: (2008)
Stochastic Petri Nets for Wireless Networks
gan: Lei, Lei
Cyhoeddwyd: (2015)
gan: Lei, Lei
Cyhoeddwyd: (2015)
Systems dependability assessment : benefits of petri net models /
gan: Aubry, Jean-François, et al.
Cyhoeddwyd: (2015)
gan: Aubry, Jean-François, et al.
Cyhoeddwyd: (2015)
Systems dependability assessment : benefits of petri net models /
gan: Aubry, Jean-François, et al.
Cyhoeddwyd: (2015)
gan: Aubry, Jean-François, et al.
Cyhoeddwyd: (2015)
Irene Petrie : missionary to Kashmir /
gan: Carus-Wilson, Ashley
Cyhoeddwyd: (1900)
gan: Carus-Wilson, Ashley
Cyhoeddwyd: (1900)
The radical fiction of Ann Petry
gan: Clark, Keith, 1963-
Cyhoeddwyd: (2013)
gan: Clark, Keith, 1963-
Cyhoeddwyd: (2013)
The radical fiction of Ann Petry
gan: Clark, Keith, 1963-
Cyhoeddwyd: (2013)
gan: Clark, Keith, 1963-
Cyhoeddwyd: (2013)
Flinders Petrie a life in archaeology /
gan: Drower, Margaret S.
Cyhoeddwyd: (1995)
gan: Drower, Margaret S.
Cyhoeddwyd: (1995)
Flinders Petrie a life in archaeology /
gan: Drower, Margaret S.
Cyhoeddwyd: (1995)
gan: Drower, Margaret S.
Cyhoeddwyd: (1995)
Logic, computation, hierarchies /
Cyhoeddwyd: (2014)
Cyhoeddwyd: (2014)
Logic, computation, hierarchies /
Cyhoeddwyd: (2014)
Cyhoeddwyd: (2014)
A half-century of automata theory celebration and inspiration /
Cyhoeddwyd: (2001)
Cyhoeddwyd: (2001)
A half-century of automata theory celebration and inspiration /
Cyhoeddwyd: (2001)
Cyhoeddwyd: (2001)
Machine analysis with computer applications for mechanical engineers /
gan: Doane, James
Cyhoeddwyd: (2016)
gan: Doane, James
Cyhoeddwyd: (2016)
Machine analysis with computer applications for mechanical engineers /
gan: Doane, James
Cyhoeddwyd: (2016)
gan: Doane, James
Cyhoeddwyd: (2016)
Software engineering /
gan: Sommerville, Ian
Cyhoeddwyd: (2004)
gan: Sommerville, Ian
Cyhoeddwyd: (2004)
Software engineering /
gan: Sommerville, Ian
Cyhoeddwyd: (2004)
gan: Sommerville, Ian
Cyhoeddwyd: (2004)
Algebraic shift register sequences
gan: Goresky, Mark, 1950-
Cyhoeddwyd: (2012)
gan: Goresky, Mark, 1950-
Cyhoeddwyd: (2012)
Algebraic shift register sequences
gan: Goresky, Mark, 1950-
Cyhoeddwyd: (2012)
gan: Goresky, Mark, 1950-
Cyhoeddwyd: (2012)
Algebraic theory of automata and languages
gan: Itō, Masami, 1941-
Cyhoeddwyd: (2004)
gan: Itō, Masami, 1941-
Cyhoeddwyd: (2004)
Algebraic theory of automata and languages
gan: Itō, Masami, 1941-
Cyhoeddwyd: (2004)
gan: Itō, Masami, 1941-
Cyhoeddwyd: (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 /
gan: Kanjilal, Joydip
Cyhoeddwyd: (2013)
gan: Kanjilal, Joydip
Cyhoeddwyd: (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 /
gan: Kanjilal, Joydip
Cyhoeddwyd: (2013)
gan: Kanjilal, Joydip
Cyhoeddwyd: (2013)
Beginning software engineering /
gan: Stephens, Rod
Cyhoeddwyd: (2015)
gan: Stephens, Rod
Cyhoeddwyd: (2015)
Beginning software engineering /
gan: Stephens, Rod
Cyhoeddwyd: (2015)
gan: Stephens, Rod
Cyhoeddwyd: (2015)
Software engineering : analysis and design /
gan: Easteal, Charles
Cyhoeddwyd: (1989)
gan: Easteal, Charles
Cyhoeddwyd: (1989)
Software engineering : theory and practice.
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2006)
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2006)
Software engineering : theory and practice /
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2001)
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2001)
Software engineering : theory and practice.
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2006)
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2006)
Software engineering : analysis and design /
gan: Easteal, Charles
Cyhoeddwyd: (1989)
gan: Easteal, Charles
Cyhoeddwyd: (1989)
Software engineering : theory and practice /
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2001)
gan: Pfleeger, Shari Lawrence
Cyhoeddwyd: (2001)
Software engineering architecture-driven software development /
gan: Schmidt, Richard, 1956-
Cyhoeddwyd: (2013)
gan: Schmidt, Richard, 1956-
Cyhoeddwyd: (2013)
Software engineering architecture-driven software development /
gan: Schmidt, Richard, 1956-
Cyhoeddwyd: (2013)
gan: Schmidt, Richard, 1956-
Cyhoeddwyd: (2013)
Software engineering /
gan: Sommerville, Ian, 1951-
Cyhoeddwyd: (2016)
gan: Sommerville, Ian, 1951-
Cyhoeddwyd: (2016)