Verification of reactive systems : formal methods and algorithms /

Saved in:

Bibliographic Details
Main Author:	Schneider, Klaus, 1967- (Author)
Format:	Book
Language:	English
Published:	Berlin Springer 2004
Subjects:	Computer systems > Verification. Formal methods (Computer science) Computer algorithms.
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Physical Description:	xiv, 600 pages illustrations 24 cm.
ISBN:	3540002960 :

Similar Items