טוען...

QR Code

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)