Property-preserving petri net process algebra in software engineering

Petri nets fundamental models, verification and applications /
Argitaratua: (2009)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
nork: Yoeli, Michael, 1917-
Argitaratua: (2008)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
nork: Yoeli, Michael, 1917-
Argitaratua: (2008)

Stochastic Petri Nets for Wireless Networks
nork: Lei, Lei
Argitaratua: (2015)

Systems dependability assessment : benefits of petri net models /
nork: Aubry, Jean-François, et al.
Argitaratua: (2015)

Systems dependability assessment : benefits of petri net models /
nork: Aubry, Jean-François, et al.
Argitaratua: (2015)

Irene Petrie : missionary to Kashmir /
nork: Carus-Wilson, Ashley
Argitaratua: (1900)

The radical fiction of Ann Petry
nork: Clark, Keith, 1963-
Argitaratua: (2013)

The radical fiction of Ann Petry
nork: Clark, Keith, 1963-
Argitaratua: (2013)

Logic, computation, hierarchies /
Argitaratua: (2014)

Logic, computation, hierarchies /
Argitaratua: (2014)

Flinders Petrie a life in archaeology /
nork: Drower, Margaret S.
Argitaratua: (1995)

Flinders Petrie a life in archaeology /
nork: Drower, Margaret S.
Argitaratua: (1995)

A half-century of automata theory celebration and inspiration /
Argitaratua: (2001)

A half-century of automata theory celebration and inspiration /
Argitaratua: (2001)

Machine analysis with computer applications for mechanical engineers /
nork: Doane, James
Argitaratua: (2016)

Machine analysis with computer applications for mechanical engineers /
nork: Doane, James
Argitaratua: (2016)

Algebraic shift register sequences
nork: Goresky, Mark, 1950-
Argitaratua: (2012)

Algebraic shift register sequences
nork: Goresky, Mark, 1950-
Argitaratua: (2012)

Algebraic theory of automata and languages
nork: Itō, Masami, 1941-
Argitaratua: (2004)

Algebraic theory of automata and languages
nork: Itō, Masami, 1941-
Argitaratua: (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 /
nork: Kanjilal, Joydip
Argitaratua: (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 /
nork: Kanjilal, Joydip
Argitaratua: (2013)

Software engineering /
nork: Sommerville, Ian
Argitaratua: (2004)

Software engineering /
nork: Sommerville, Ian
Argitaratua: (2004)

Beginning software engineering /
nork: Stephens, Rod
Argitaratua: (2015)

Beginning software engineering /
nork: Stephens, Rod
Argitaratua: (2015)

Software engineering : analysis and design /
nork: Easteal, Charles
Argitaratua: (1989)

Software engineering : theory and practice.
nork: Pfleeger, Shari Lawrence
Argitaratua: (2006)

Software engineering : theory and practice /
nork: Pfleeger, Shari Lawrence
Argitaratua: (2001)

Software engineering : analysis and design /
nork: Easteal, Charles
Argitaratua: (1989)

Software engineering : theory and practice /
nork: Pfleeger, Shari Lawrence
Argitaratua: (2001)

Software engineering : theory and practice.
nork: Pfleeger, Shari Lawrence
Argitaratua: (2006)

Software engineering architecture-driven software development /
nork: Schmidt, Richard, 1956-
Argitaratua: (2013)

Software engineering architecture-driven software development /
nork: Schmidt, Richard, 1956-
Argitaratua: (2013)

Software engineering /
nork: Sommerville, Ian, 1951-
Argitaratua: (2016)