Všetkých 1 B. T. Hailpern vydaní na Paperback Book
Kategórie
Iné
Zákaznícky servis
EUR
Na sklade v iMusic
Zobraziť nedostupné položky
![Cover for B. T. Hailpern · Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science (Paperback Book) [1982 edition] (1982)](https://imusic.b-cdn.net/images/item/original/051/9783540112051.jpg?b-t-hailpern-1982-verifying-concurrent-processes-using-temporal-logic-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1610708929)