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

Godefroid, Patrice

 
9780387607610: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
Couverture souple
ISBN 10 : 0387607617 ISBN 13 : 9780387607610
Editeur : Springer Nature, 1996

L'édition de cet ISBN n'est malheureusement plus disponible.

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Nature
Date d'édition
1996
Langue
anglais
ISBN 10 
0387607617
ISBN 13 
9780387607610
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3662181525 ISBN 13 :  9783662181522
Editeur : Springer, 2014
Couverture souple