Cover of Model checking

Model checking

by Doron A. Peled, Orna Grumberg, Edmund M. Clarke Jr.

1999 314 pages eng

Verification Software Development & Engineering Computer systems Models and modelmaking SAT (Educational test) Engineering & Applied Sciences Logiciels Operating systems (Computers) Computer science Computers
Read on Archive.org Open Library Toronto Public Library Libby Amazon

Read online

Reader not loading? Open it on Archive.org instead.

More like this

Principles of model checking

Christel Baier

2008

Writing testbenches using System Verilog

Janick Bergeron

2006

The Poet's Handbook

Judson Jerome

1980

The hit

Jere R. Hoar

2002

The Age of Deception

Mohamed El Baradei

2012

Disarmament, its politics and economics

Seymour Melman

1962