Tools and algorithms for the construction and analysis of systems : Proceedings, Passau, Germany, March 27 - 29, 1996 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Margaria, Tiziana
Korporativní autor: Proceedings Germany, Passau
Další autoři: Steffen, Bernhard
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 1996
Vydání:[1st ed.]
Edice:Lecture notes in computer science Vol. 1055
Témata:
ISBN:3540610421
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet

Získat plný text

CVTI sklad absenčný

Informace o exemplářích z: CVTI sklad absenčný
Signatura: A559079
Jednotka On Shelf