Model Checking

By:

Contributor(s):

Language: English Publication details: Cambridge The MIT Press 1999 2001Description: xiv, 314 pISBN:

Subject(s):

DDC classification:

Item type:

Permanent Reference Books

Average rating: 0.0 (0 votes)

No physical items for this record

There are no comments on this title.

to post a comment.