Yüklüyor......

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

Detaylı Bibliyografya
Yazar:	Yoeli, Michael
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	New Jersey John Wiley & Sons 2008
Konular:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Benzer Materyaller

Yüklüyor......

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
Yazar:: Yoeli, Michael
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Foundation of program verification /
Yazar:: Loeckx, Jacques
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Program construction and verification /
Yazar:: Backhouse, Roland C .
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Essential software testing: a use-case approach
Yazar:: Fournier, Greg; Author
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Principles of model checking /
Yazar:: Baier, Christel
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

Current trends in hardware verification and automated theorem proving
Yazar:: Current trends in
Baskı/Yayın Bilgisi: (1989)

Yüklüyor......

Program construction and verification
Yazar:: Backhouse, Roland C; Author
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

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

Yüklüyor......

Protocol specification, testing and verification
Yazar:: Diaz, Michel
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Program verification using Ada
Yazar:: McGettrick, Andrew D; Author
Baskı/Yayın Bilgisi: (1982)

Yüklüyor......

Confirmation and confirmability /
Yazar:: Schlesinger, G.
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Disarmament Forum Arms control verification /
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

Verification of sequential and concurrent programs /
Yazar:: Gries, David .
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Reconfigurable system design and verification
Yazar:: Hsiung, Pao-Ann
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Petri nets : fundamental models, verification and applications /
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Testing computer software
Yazar:: Kaner, Cem
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

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

Yüklüyor......

Software testing: principles, techniques and tools
Yazar:: Limaye, M G
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Challenges of Verification: Smaller states and arms control
Yazar:: Gaertner, Heinz
Baskı/Yayın Bilgisi: (1989)

Yüklüyor......

Logic and argument /
Yazar:: Kirwan, Christopher
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Handbook of materials management
Yazar:: GHopalakrishnan,P
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Intelligent Task Planning Using Fuzzy Petri nets
Yazar:: Cao, Tiehua
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

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

Yüklüyor......

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant /
Yazar:: Spillner, Andreas
Baskı/Yayın Bilgisi: (2011)

Yüklüyor......

Verification and validation in systems engineering assessing UML/sysML designed models
Yazar:: Debbabi, Mourad...[et.al]
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

Modeling in systems biology the petri net approach
Yazar:: Koch, Ina; ed
Baskı/Yayın Bilgisi: (2011)

Yüklüyor......

Intelligent task planning using fuzzy petri nets /
Yazar:: Cao, Tiehua
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

System modeling and control with resource-oriented Petri nets /
Yazar:: Wu, Naiqi
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

Fault Diagnosis of Digital Systems
Yazar:: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Baskı/Yayın Bilgisi: (1970)

Yüklüyor......

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

Yüklüyor......

The economics of software quality /
Yazar:: Jones, Capers
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

USE OF PROGRAMME UMBERTO FOR MODELING INFORMATION FLOW IN PUBLIC ADMINISTRATION
Yazar:: ING ROBERT BAT'A
Baskı/Yayın Bilgisi: (2006)

Yüklüyor......

Electronic circuits by system and computer analysis
Yazar:: Cornetet, Wendell H
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

Bappuji karayunnu /
Yazar:: Ramankutty, Chunakkara
Baskı/Yayın Bilgisi: (2005)

Yüklüyor......

Straight to the point C#.Net 2005
Yazar:: Dinesh Maidasani; Author
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Linear integrated circuits
Yazar:: Choudhury, D Roy
Baskı/Yayın Bilgisi: (2003)

Yüklüyor......

Introduction to integrated circuits
Yazar:: Grinich, Victor H
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

Linear integrated circuits
Yazar:: Young, Thomas
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Research methods for graduate business and social science students.
Yazar:: Adams, John
Baskı/Yayın Bilgisi: (2007)

Yüklüyor......

Digital concepts using standard integrated circuits
Yazar:: Sandige, Richard
Baskı/Yayın Bilgisi: (1978)