Program correctness over abstract data types, with error-state semantics /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Tucker, John V.
Weitere Verfasser: Zucker, Jeffery I.
Format: Buch
Sprache:Englisch
Veröffentlicht: Amsterdam : North-Holland Publishing, 1988
Ausgabe:[1st ed.]
Schriftenreihe:CWI monograph Vol. 6
Schlagworte:
overovanie
ISBN:0444703403
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617193841.0
008 951004s1988 ne e ||||||eng d
020 |a 0444703403 
035 |a CVTIDW0934555 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a ne 
080 |a 519.7/.8  |2 UDC-MRF 
080 |a 681.3.06  |2 UDC-MRF 
100 1 |a Tucker, John V. 
242 1 0 |a Správnosť programu obsahujúceho typy abstraktných údajov so sémantikou matematicky vyjadrených chýb 
245 1 0 |a Program correctness over abstract data types, with error-state semantics /  |c John V. Tucker, Jeffery I. Zucker 
250 |a [1st ed.] 
260 |a Amsterdam :  |b North-Holland Publishing,  |c 1988 
300 |a VIII, 212 s. :  |b lit., obr. ; 
490 0 |a CWI monograph  |v Vol. 6 
653 1 |a overovanie 
692 |a GM ML PR PO MM 
700 1 |a Zucker, Jeffery I. 
760 1 |t CWI monograph  |g Vol. 6 
910 |b A549477 
919 |a 0444703403 
974 |f Knihy 
992 |a AMG 
999 |c 98879  |d 98879 

Ähnliche Einträge