Specification and transformation of programs a formal approach to software development

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Partsch, Helmuth (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1990
Schriftenreihe:Texts and monographs in computer science
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturverz. S. [456] - 474
Beschreibung:XIII, 493 S.
Ill., graph. Darst.
ISBN:3540523561
3-540-52356-1
0387523561
0-387-52356-1
3540525890
3-540-52589-0
0387525890
0-387-52589-0