-
Random House Principles of Model Checking
$240.00quick look
- ISBN: 9780262026499
- Authors: Christel Baier,Joost-Pieter Katoen,Kim Larsen
- Edition: 1
- Publisher: MIT Press
- Publication Date: 15/05/2008
Availability: Out of stock
Availability: Out of stock