表紙画像

QRコード

Property-preserving petri net process algebra in software engineering

他のバージョン（1件）を表示する

保存先:

書誌詳細
第一著者:	Huang, Hejiao
団体著者:	ebrary, Inc
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	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, 等
出版事項: (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)

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 : analysis and design /
著者:: Easteal, Charles
出版事項: (1989)

Software engineering : theory and practice /
著者:: Pfleeger, Shari Lawrence
出版事項: (2001)

Software engineering : theory and practice.
著者:: Pfleeger, Shari Lawrence
出版事項: (2006)

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)