載入...

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

書目詳細資料
主要作者:	Yoeli, Michael
格式:	Printed Book
語言:	English
出版:	New Jersey John Wiley & Sons 2008
主題:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

相似書籍

載入...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
由: Yoeli, Michael
出版: (2008)

載入...

Foundation of program verification /
由: Loeckx, Jacques
出版: (1983)

載入...

Program construction and verification /
由: Backhouse, Roland C .
出版: (1986)

載入...

Essential software testing: a use-case approach
由: Fournier, Greg; Author
出版: (2009)

載入...

Principles of model checking /
由: Baier, Christel
出版: (2012)

載入...

Current trends in hardware verification and automated theorem proving
由: Current trends in
出版: (1989)

載入...

Program construction and verification
由: Backhouse, Roland C; Author
出版: (1986)

載入...

Validation and Verification techniques for
由: Saxena , P, Dr

載入...

Protocol specification, testing and verification
由: Diaz, Michel
出版: (1986)

載入...

Program verification using Ada
由: McGettrick, Andrew D; Author
出版: (1982)

載入...

Confirmation and confirmability /
由: Schlesinger, G.
出版: (1974)

載入...

Disarmament Forum Arms control verification /
出版: (2010)

載入...

Verification of sequential and concurrent programs /
由: Gries, David .
出版: (1991)

載入...

Reconfigurable system design and verification
由: Hsiung, Pao-Ann
出版: (2009)

載入...

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

載入...

Testing computer software
由: Kaner, Cem
出版: (2012)

載入...

Collection development policy (CDP) in Kerala University Library system: A Study
由: Sureshkumar C and Sukumaran C.

載入...

Software testing: principles, techniques and tools
由: Limaye, M G
出版: (2009)

載入...

Challenges of Verification: Smaller states and arms control
由: Gaertner, Heinz
出版: (1989)

載入...

Logic and argument /
由: Kirwan, Christopher
出版: (1978)

載入...

Handbook of materials management
由: GHopalakrishnan,P
出版: (2009)

載入...

Intelligent Task Planning Using Fuzzy Petri nets
由: Cao, Tiehua
出版: (1996)

載入...

Program logics for certified compilers /
由: Appel, Andrew W., 1960-

載入...

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant /
由: Spillner, Andreas
出版: (2011)

載入...

Verification and validation in systems engineering assessing UML/sysML designed models
由: Debbabi, Mourad...[et.al]
出版: (2010)

載入...

Modeling in systems biology the petri net approach
由: Koch, Ina; ed
出版: (2011)

載入...

Intelligent task planning using fuzzy petri nets /
由: Cao, Tiehua
出版: (1996)

載入...

System modeling and control with resource-oriented Petri nets /
由: Wu, Naiqi
出版: (2010)

載入...

Fault Diagnosis of Digital Systems
由: Chang, Herbert Y and Manning, Eric and Metze, Gernot
出版: (1970)

載入...

Perception of Law community about book pilferage: study of M D university, Rohtak

載入...

The economics of software quality /
由: Jones, Capers
出版: (2012)

載入...

USE OF PROGRAMME UMBERTO FOR MODELING INFORMATION FLOW IN PUBLIC ADMINISTRATION
由: ING ROBERT BAT'A
出版: (2006)

載入...

Electronic circuits by system and computer analysis
由: Cornetet, Wendell H
出版: (1975)

載入...

Bappuji karayunnu /
由: Ramankutty, Chunakkara
出版: (2005)

載入...

Straight to the point C#.Net 2005
由: Dinesh Maidasani; Author
出版: (2009)

載入...

Linear integrated circuits
由: Choudhury, D Roy
出版: (2003)

載入...

Introduction to integrated circuits
由: Grinich, Victor H
出版: (1975)

載入...

Linear integrated circuits
由: Young, Thomas
出版: (1981)

載入...

Research methods for graduate business and social science students.
由: Adams, John
出版: (2007)

載入...

Digital concepts using standard integrated circuits
由: Sandige, Richard
出版: (1978)