Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (edición)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín, Alemania : Springer, 2005, c2005
Edice:(Lecture Notes in Computer Science)
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Fyzický popis:1 libro electrónico en línea (XXVIII, 420 p.)
1 recurso en línea
ISBN:978-3-540-31847-7
ISSN:1611-3349
Přístup:Licencias ilimitadas