číslo produktu:112629
rezervujFormal Description Techniques VII
Rok vydania: 1995
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:
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: tvrdá