Wird geladen...

The way of z practical programming with formal methods

Bibliographische Detailangaben
1. Verfasser: Jonathan Jacky
Format: Printed Book
Sprache:English
Veröffentlicht: Cambridge University Press 1997

DCS

Bestandesangaben von DCS
Signatur: 004.43
Exemplar Live-Status nicht verfügbar