Foundations of Algebraic Specification and Formal Software Development /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Donald Sannella, Andrzej Tarlecki (autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín, Alemania : Springer, 2012, c2012
Edice:(Monographs in Theoretical Computer Science. An EATCS Series)
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 (XVI, 584 p.)
1 recurso en línea
ISBN:978-3-642-17336-3
ISSN:2193-2069
Přístup:Licencias ilimitadas