封面图片

QR Code

Property-preserving petri net process algebra in software engineering

Show other versions (1)

Saved in:

书目详细资料
主要作者:	Huang, Hejiao
企业作者:	ebrary, Inc
格式:	电子电子书
语言:	英语
出版:	Singapore : World Scientific Pub. Co., 2012.
主题:	Petri nets. Software engineering. Algebra. Electronic books.
在线阅读:	An electronic book accessible through the World Wide Web; click to view
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Property-preserving petri net process algebra in software engineering
由: Huang, Hejiao
出版: (2012)

Biological petri nets
出版: (2011)

Biological petri nets
出版: (2011)

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

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, et al.
出版: (2015)

Systems dependability assessment : benefits of petri net models /
由: Aubry, Jean-François, et al.
出版: (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)

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)

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)

Beginning software engineering /
由: Stephens, Rod
出版: (2015)

Beginning software engineering /
由: Stephens, Rod
出版: (2015)

Software engineering : analysis and design /
由: Easteal, Charles
出版: (1989)

Software engineering : theory and practice.
由: Pfleeger, Shari Lawrence
出版: (2006)

Software engineering : theory and practice /
由: Pfleeger, Shari Lawrence
出版: (2001)

Software engineering : theory and practice /
由: Pfleeger, Shari Lawrence
出版: (2001)

Software engineering : theory and practice.
由: Pfleeger, Shari Lawrence
出版: (2006)

Software engineering : analysis and design /
由: Easteal, Charles
出版: (1989)

Software engineering architecture-driven software development /
由: Schmidt, Richard, 1956-
出版: (2013)

Software engineering architecture-driven software development /
由: Schmidt, Richard, 1956-
出版: (2013)

Software engineering /
由: Sommerville, Ian, 1951-
出版: (2016)