Principles of Model Checking

Principles of Model Checking

Principles of Model Checking

9780262026499

    Baier, Christel

    25-Apr-2008

    Paperback

S$88.31

Add to cart

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

Publishers

Browse
   By Categories

PayPal