Holdings: Model checking

Saved in:

Bibliographic Details
Main Author :	Clarke Edmund M.
Format :	Book
Language :	anglais
Title statement :	Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled
Published :	Cambridge, Mass. : MIT Press , 1999
Physical Description :	XVI-314 p.
Subjects :	Ordinateurs > Fiabilité

Holdings details from Bib. Centrale Nantes
Location	Call Number	Loan type	Status
Bibliothèque	681.3 A05 CLA	Empruntable	Available