Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science) - Softcover

Godefroid, Patrice

 
9780387607610: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387607617 ISBN 13: 9780387607610
Publisher: Springer Nature, 1996

This specific ISBN edition is currently not available.

Synopsis

Partial-order Methods for the Verification of Concurrent Systems This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Nature
Publication date
1996
Language
English
ISBN 10 
0387607617
ISBN 13 
9780387607610
Binding
Paperback

Other Popular Editions of the Same Title

9783662181522: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Featured Edition

ISBN 10:  3662181525 ISBN 13:  9783662181522
Publisher: Springer, 2014
Softcover