Program Correctness over Abstract Data Types, With Error State Semantics

Program Correctness over Abstract Data Types, With Error State Semantics
von Tucker, J. V. and J.I. Zucker
North Holland
9780444703408
Jahr: 1988
212 Seiten
gebundene Ausgabe
Bestellnummer: 2002447

Beschreibung
Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...) - leichte altersbedingte Anbräunung des Papiers - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache.