číslo produktu:111820
rezervujPartial-Order Methods for the Verification of Concurrent Systems
Rok vydania: 1996
Vydavateľ: Springer
Kniha je momentálne nedostupná.
V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.
O knihe:
Nie je dostupný popis o knihe.
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: mäkká