Nalaganje...

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

Bibliografske podrobnosti
Glavni avtor:	Yoeli, Michael
Format:	Printed Book
Jezik:	English
Izdano:	New Jersey John Wiley & Sons 2008
Teme:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Podobne knjige/članki

Nalaganje...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
od: Yoeli, Michael
Izdano: (2008)

Nalaganje...

Foundation of program verification /
od: Loeckx, Jacques
Izdano: (1983)

Nalaganje...

Program construction and verification /
od: Backhouse, Roland C .
Izdano: (1986)

Nalaganje...

Essential software testing: a use-case approach
od: Fournier, Greg; Author
Izdano: (2009)

Nalaganje...

Principles of model checking /
od: Baier, Christel
Izdano: (2012)

Nalaganje...

Current trends in hardware verification and automated theorem proving
od: Current trends in
Izdano: (1989)

Nalaganje...

Program construction and verification
od: Backhouse, Roland C; Author
Izdano: (1986)

Nalaganje...

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

Nalaganje...

Protocol specification, testing and verification
od: Diaz, Michel
Izdano: (1986)

Nalaganje...

Program verification using Ada
od: McGettrick, Andrew D; Author
Izdano: (1982)

Nalaganje...

Confirmation and confirmability /
od: Schlesinger, G.
Izdano: (1974)

Nalaganje...

Disarmament Forum Arms control verification /
Izdano: (2010)

Nalaganje...

Verification of sequential and concurrent programs /
od: Gries, David .
Izdano: (1991)

Nalaganje...

Reconfigurable system design and verification
od: Hsiung, Pao-Ann
Izdano: (2009)

Nalaganje...

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

Nalaganje...

Testing computer software
od: Kaner, Cem
Izdano: (2012)

Nalaganje...

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

Nalaganje...

Software testing: principles, techniques and tools
od: Limaye, M G
Izdano: (2009)

Nalaganje...

Challenges of Verification: Smaller states and arms control
od: Gaertner, Heinz
Izdano: (1989)

Nalaganje...

Logic and argument /
od: Kirwan, Christopher
Izdano: (1978)

Nalaganje...

Handbook of materials management
od: GHopalakrishnan,P
Izdano: (2009)

Nalaganje...

Intelligent Task Planning Using Fuzzy Petri nets
od: Cao, Tiehua
Izdano: (1996)

Nalaganje...

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

Nalaganje...

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

Nalaganje...

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

Nalaganje...

Modeling in systems biology the petri net approach
od: Koch, Ina; ed
Izdano: (2011)

Nalaganje...

Intelligent task planning using fuzzy petri nets /
od: Cao, Tiehua
Izdano: (1996)

Nalaganje...

System modeling and control with resource-oriented Petri nets /
od: Wu, Naiqi
Izdano: (2010)

Nalaganje...

Fault Diagnosis of Digital Systems
od: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Izdano: (1970)

Nalaganje...

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

Nalaganje...

The economics of software quality /
od: Jones, Capers
Izdano: (2012)

Nalaganje...

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

Nalaganje...

Electronic circuits by system and computer analysis
od: Cornetet, Wendell H
Izdano: (1975)

Nalaganje...

Bappuji karayunnu /
od: Ramankutty, Chunakkara
Izdano: (2005)

Nalaganje...

Straight to the point C#.Net 2005
od: Dinesh Maidasani; Author
Izdano: (2009)

Nalaganje...

Linear integrated circuits
od: Choudhury, D Roy
Izdano: (2003)

Nalaganje...

Introduction to integrated circuits
od: Grinich, Victor H
Izdano: (1975)

Nalaganje...

Linear integrated circuits
od: Young, Thomas
Izdano: (1981)

Nalaganje...

Research methods for graduate business and social science students.
od: Adams, John
Izdano: (2007)

Nalaganje...

Digital concepts using standard integrated circuits
od: Sandige, Richard
Izdano: (1978)