Property-preserving petri net process algebra in software engineering

Petri nets fundamental models, verification and applications /
Опубликовано: (2009)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
по: Yoeli, Michael, 1917-
Опубликовано: (2008)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
по: Yoeli, Michael, 1917-
Опубликовано: (2008)

Stochastic Petri Nets for Wireless Networks
по: Lei, Lei
Опубликовано: (2015)

Systems dependability assessment : benefits of petri net models /
по: Aubry, Jean-François, и др.
Опубликовано: (2015)

Systems dependability assessment : benefits of petri net models /
по: Aubry, Jean-François, и др.
Опубликовано: (2015)

Irene Petrie : missionary to Kashmir /
по: Carus-Wilson, Ashley
Опубликовано: (1900)

The radical fiction of Ann Petry
по: Clark, Keith, 1963-
Опубликовано: (2013)

The radical fiction of Ann Petry
по: Clark, Keith, 1963-
Опубликовано: (2013)

Logic, computation, hierarchies /
Опубликовано: (2014)

Logic, computation, hierarchies /
Опубликовано: (2014)

Flinders Petrie a life in archaeology /
по: Drower, Margaret S.
Опубликовано: (1995)

Flinders Petrie a life in archaeology /
по: Drower, Margaret S.
Опубликовано: (1995)

A half-century of automata theory celebration and inspiration /
Опубликовано: (2001)

A half-century of automata theory celebration and inspiration /
Опубликовано: (2001)

Machine analysis with computer applications for mechanical engineers /
по: Doane, James
Опубликовано: (2016)

Machine analysis with computer applications for mechanical engineers /
по: Doane, James
Опубликовано: (2016)

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 /
по: Kanjilal, Joydip
Опубликовано: (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 /
по: Kanjilal, Joydip
Опубликовано: (2013)

Software engineering /
по: Sommerville, Ian
Опубликовано: (2004)

Software engineering /
по: Sommerville, Ian
Опубликовано: (2004)

Algebraic shift register sequences
по: Goresky, Mark, 1950-
Опубликовано: (2012)

Algebraic shift register sequences
по: Goresky, Mark, 1950-
Опубликовано: (2012)

Algebraic theory of automata and languages
по: Itō, Masami, 1941-
Опубликовано: (2004)

Algebraic theory of automata and languages
по: Itō, Masami, 1941-
Опубликовано: (2004)

Beginning software engineering /
по: Stephens, Rod
Опубликовано: (2015)

Beginning software engineering /
по: Stephens, Rod
Опубликовано: (2015)

Building business intelligence applications with .NET
по: Ericsson, Robert
Опубликовано: (2004)

Designing Visual Basic.NET applications
по: Vitter, David
Опубликовано: (2001)

Designing Visual Basic.NET applications
по: Vitter, David
Опубликовано: (2001)

Building business intelligence applications with .NET
по: Ericsson, Robert
Опубликовано: (2004)

Software engineering architecture-driven software development /
по: Schmidt, Richard, 1956-
Опубликовано: (2013)

Software engineering architecture-driven software development /
по: Schmidt, Richard, 1956-
Опубликовано: (2013)

.NET Framework 4.5 expert programming cookbook over 50 engaging recipes for learning advanced concepts of .NET Framework 4.5 /
по: Rajshekhar, A. P.
Опубликовано: (2013)

.NET Framework 4.5 expert programming cookbook over 50 engaging recipes for learning advanced concepts of .NET Framework 4.5 /
по: Rajshekhar, A. P.
Опубликовано: (2013)

Software engineering : analysis and design /
по: Easteal, Charles
Опубликовано: (1989)