Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1. marca 1982
Če se naslovnica in naslov ne ujemata, je naslov pravilen

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 17. apr

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

209 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 1. marca 1982
ISBN13 9783540112051
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 209
Dimenzije 155 × 233 × 11 mm   ·   312 g
Jezik Angleščina  

Ogled vseh B. T. Hailpern ( Na primer Paperback Book )