Wird geladen...

Formal specification and software development

Bibliographische Detailangaben
1. Verfasser: Bjorner, Diner
Weitere Verfasser: Jones, Cliff B.
Format: Printed Book
Sprache:English
Veröffentlicht: New Jersy Prentice-hall international 1982
Schriftenreihe:Printice-Hall International series in computer science
Schlagworte:

UL

Bestandesangaben von UL
Signatur: 004.414.38 BJO
Exemplar Live-Status nicht verfügbar