Articles liés à Partial-Order Methods for the Verification of Concurrent...
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem - Couverture souple
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.
- ÉditeurSpringer Nature
- Date d'édition1996
- ISBN 10 0387607617
- ISBN 13 9780387607610
- ReliureBroché
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
