Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Foundations of algebraic speci...
  • Bestand

Treffer: Foundations of algebraic specification and formal software development

Titel:
Foundations of algebraic specification and formal software development / Donald Sannella ; Andrzej Tarlecki
Beteiligt:
Sannella, Donald (Verfasser) ; Tarlecki, Andrzej (Verfasser) 
Veröffent­licht:
Berlin : Springer, 2012
Umfang:
XVI, 581 Seiten : Illustrationen, Diagramme ; 25 cm
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Monographs in theoretical computer science
Anmerkungen:
Literaturverzeichnis Seite 533 - 552
RVK-Notation:
ST 230
Schlagworte:
ISBN:
3642173357 ; 9783642173356

Zusatz-Informationen

Zusatz-Funktionen