Partial-order Methods for the Verification of Concurrent Systems: an Approach to the State Explosion Problem - Lecture Notes in Computer Science - Patrice Godefroid - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540607618 - 24. januarja 1996
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Patrice Godefroid
Partial-order Methods for the Verification of Concurrent Systems: an Approach to the State Explosion Problem - Lecture Notes in Computer Science

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 25. sep - 5. okt
Prejemajte obvestila o novih izdajah izvajalca Patrice Godefroid

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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.

143 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 24. januarja 1996
ISBN13 9783540607618
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 143
Dimenzije 156 × 234 × 8 mm   ·   226 g
Jezik Nemščina  
Urednik Godefroid, Patrice

Več od Patrice Godefroid

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Patrice Godefroid