Property-preserving petri net process algebra in software engineering

Petri nets fundamental models, verification and applications /
Vydáno: (2009)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Autor: Yoeli, Michael, 1917-
Vydáno: (2008)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Autor: Yoeli, Michael, 1917-
Vydáno: (2008)

Stochastic Petri Nets for Wireless Networks
Autor: Lei, Lei
Vydáno: (2015)

Systems dependability assessment : benefits of petri net models /
Autor: Aubry, Jean-François, a další
Vydáno: (2015)

Systems dependability assessment : benefits of petri net models /
Autor: Aubry, Jean-François, a další
Vydáno: (2015)

Irene Petrie : missionary to Kashmir /
Autor: Carus-Wilson, Ashley
Vydáno: (1900)

The radical fiction of Ann Petry
Autor: Clark, Keith, 1963-
Vydáno: (2013)

The radical fiction of Ann Petry
Autor: Clark, Keith, 1963-
Vydáno: (2013)

Flinders Petrie a life in archaeology /
Autor: Drower, Margaret S.
Vydáno: (1995)

Flinders Petrie a life in archaeology /
Autor: Drower, Margaret S.
Vydáno: (1995)

Logic, computation, hierarchies /
Vydáno: (2014)

Logic, computation, hierarchies /
Vydáno: (2014)

A half-century of automata theory celebration and inspiration /
Vydáno: (2001)

A half-century of automata theory celebration and inspiration /
Vydáno: (2001)

Machine analysis with computer applications for mechanical engineers /
Autor: Doane, James
Vydáno: (2016)

Machine analysis with computer applications for mechanical engineers /
Autor: Doane, James
Vydáno: (2016)

Algebraic shift register sequences
Autor: Goresky, Mark, 1950-
Vydáno: (2012)

Algebraic shift register sequences
Autor: Goresky, Mark, 1950-
Vydáno: (2012)

Algebraic theory of automata and languages
Autor: Itō, Masami, 1941-
Vydáno: (2004)

Algebraic theory of automata and languages
Autor: Itō, Masami, 1941-
Vydáno: (2004)

Software engineering /
Autor: Sommerville, Ian
Vydáno: (2004)

Software engineering /
Autor: Sommerville, Ian
Vydáno: (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 /
Autor: Kanjilal, Joydip
Vydáno: (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 /
Autor: Kanjilal, Joydip
Vydáno: (2013)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Vydáno: (2010)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Vydáno: (2010)

Beginning software engineering /
Autor: Stephens, Rod
Vydáno: (2015)

Beginning software engineering /
Autor: Stephens, Rod
Vydáno: (2015)

Software engineering : analysis and design /
Autor: Easteal, Charles
Vydáno: (1989)

Software engineering : theory and practice.
Autor: Pfleeger, Shari Lawrence
Vydáno: (2006)

Software engineering : theory and practice /
Autor: Pfleeger, Shari Lawrence
Vydáno: (2001)

Software engineering : theory and practice /
Autor: Pfleeger, Shari Lawrence
Vydáno: (2001)

Software engineering : analysis and design /
Autor: Easteal, Charles
Vydáno: (1989)

Software engineering : theory and practice.
Autor: Pfleeger, Shari Lawrence
Vydáno: (2006)

Software engineering /
Autor: Sommerville, Ian, 1951-
Vydáno: (2016)