Model Checking, Second Edition View on Open Library

Model Checking, Second Edition

by Orna Grumberg , Daniel Kroening , Doron Peled , Helmut Veith , Edmund M. Clarke

No reviews yet
First published: 2018 1 language ISBN: 9780262349451
Subjects
Sat (educational test) Models and modelmaking

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Orna Grumberg

Model checking

Model checking

Languages : from Formal to Natural

Languages : from Formal to Natural

25 Years of Model Checking

25 Years of Model Checking

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Languages From Formal to Natural Lecture Notes in Computer Science

Languages From Formal to Natural ...

25 Years Of Model Checking History Achievements Perspectives

25 Years Of Model Checking History Achie...

You Might Also Like

More in Sat (educational tes...
The Scarlet Letter

The Scarlet Letter

Nathaniel Hawthorne
Flatland

Flatland

Edwin Abbott Abbott
The War of the Worlds

The War of the Worlds

H. G. Wells
Kaplan SAT Subject Test

Kaplan SAT Subject Test

Kaplan Publishing
The Princeton Review

The Princeton Review

Princeton Review
Kaplan SAT II

Kaplan SAT II

Kaplan Publishing