Carregant...

Codi QR

Principles of model checking /

Dades bibliogràfiques
Autor principal:	Baier, Christel
Altres autors:	Katoen, Joost-Pieter
Format:	Printed Book
Idioma:	English
Publicat:	Cambridge, Mass. : The MIT Press, [2012
Matèries:	Computer systems > Verification. Computer software > Verification.
Accés en línia:	http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Ítems similars

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

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

Confirmation and confirmability /
per: Schlesinger, G.
Publicat: (1974)

Program construction and verification /
per: Backhouse, Roland C .
Publicat: (1986)

Foundation of program verification /
per: Loeckx, Jacques
Publicat: (1983)

Current trends in hardware verification and automated theorem proving
per: Current trends in
Publicat: (1989)

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

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
per: Yoeli, Michael
Publicat: (2008)

Testing computer software
per: Kaner, Cem
Publicat: (2012)

Software testing: principles, techniques and tools
per: Limaye, M G
Publicat: (2009)

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

Disarmament Forum Arms control verification /
Publicat: (2010)

Program construction and verification
per: Backhouse, Roland C; Author
Publicat: (1986)

Reconfigurable system design and verification
per: Hsiung, Pao-Ann
Publicat: (2009)

Logic and argument /
per: Kirwan, Christopher
Publicat: (1978)

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

Handbook of materials management
per: GHopalakrishnan,P
Publicat: (2009)

Protocol specification, testing and verification
per: Diaz, Michel
Publicat: (1986)

The economics of software quality /
per: Jones, Capers
Publicat: (2012)

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

Program verification using Ada
per: McGettrick, Andrew D; Author
Publicat: (1982)

Verification of sequential and concurrent programs /
per: Gries, David .
Publicat: (1991)

സൗന്ദര്യലഹരി /
per: ശങ്കരാചര്യര്‍
Publicat: (2012)

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

Challenges of Verification: Smaller states and arms control
per: Gaertner, Heinz
Publicat: (1989)

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

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

Data mining
per: Pujari, Arun K
Publicat: (2006)

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

Aadhaar: how a nation is deceived
per: Jijeesh P B
Publicat: (2011)

ICT-based reforms in local government decision-making in the gram panchayats of Kerala
per: Alex. K. Thottunkel and Sibi Varghese Kuppathanath
Publicat: (2015)

Unfolding a partial-order approach to model checking
per: Esparza, Javier
Publicat: (2008)

Software modeling and design :
per: Gomaa, Hassan
Publicat: (2011)

Software tools
per: Kernighan, Briab W
Publicat: (1976)

Software engineering: Planning for change
per: Lamb, David Alex
Publicat: (1988)

Introduction to system software
per: Dhamdhere, D M
Publicat: (1986)

Software maintenance management: a study of the manintenance of computer application software in 487 data processing organizations
per: Lientz, Bennet P

Modelling systems: practical tools and techniques in software development
per: Fitzgerald, John
Publicat: (2009)

Modeling software behavior craftsman's approach
per: Jorgensen, Paul C
Publicat: (2009)

Software testing : principles and practice /
per: Desikan, Srinivasan
Publicat: (2014)