Formal methods of program verification

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Berg,H.K
Format: Printed Book
Sprache:English
Veröffentlicht: New Jersey Prentice-Hall
Beschreibung
Beschreibung:ic,207
ISBN:0133288072

Ähnliche Einträge