Loading...

QR Code

Principles of model checking /

Bibliographic Details
Main Author:	Baier, Christel
Other Authors:	Katoen, Joost-Pieter
Format:	Printed Book
Language:	English
Published:	Cambridge, Mass. : The MIT Press, [2012
Subjects:	Computer systems > Verification. Computer software > Verification.
Online Access:	http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Similar Items

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

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

Confirmation and confirmability /
by: Schlesinger, G.
Published: (1974)

Program construction and verification /
by: Backhouse, Roland C .
Published: (1986)

Foundation of program verification /
by: Loeckx, Jacques
Published: (1983)

Current trends in hardware verification and automated theorem proving
by: Current trends in
Published: (1989)

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

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

Testing computer software
by: Kaner, Cem
Published: (2012)

Software testing: principles, techniques and tools
by: Limaye, M G
Published: (2009)

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

Disarmament Forum Arms control verification /
Published: (2010)

Program construction and verification
by: Backhouse, Roland C; Author
Published: (1986)

Reconfigurable system design and verification
by: Hsiung, Pao-Ann
Published: (2009)

Logic and argument /
by: Kirwan, Christopher
Published: (1978)

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

Handbook of materials management
by: GHopalakrishnan,P
Published: (2009)

Protocol specification, testing and verification
by: Diaz, Michel
Published: (1986)

The economics of software quality /
by: Jones, Capers
Published: (2012)

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

Program verification using Ada
by: McGettrick, Andrew D; Author
Published: (1982)

Verification of sequential and concurrent programs /
by: Gries, David .
Published: (1991)

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

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

Challenges of Verification: Smaller states and arms control
by: Gaertner, Heinz
Published: (1989)

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

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

Data mining
by: Pujari, Arun K
Published: (2006)

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

Aadhaar: how a nation is deceived
by: Jijeesh P B
Published: (2011)

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

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

Software modeling and design :
by: Gomaa, Hassan
Published: (2011)

Software tools
by: Kernighan, Briab W
Published: (1976)

Software engineering: Planning for change
by: Lamb, David Alex
Published: (1988)

Introduction to system software
by: Dhamdhere, D M
Published: (1986)

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

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

Modeling software behavior craftsman's approach
by: Jorgensen, Paul C
Published: (2009)

Software testing : principles and practice /
by: Desikan, Srinivasan
Published: (2014)