Formal specification and software development

Formal specification and software development

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Bjørner, Dines (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Englewood Cliffs, N.J. Prentice Hall 1982
Schriftenreihe:Prentice-Hall international series in computer science.
Schlagworte:
Langages de programmation > Programmation (Informatique) > Software > Computer software > Development > Programming languages (Electronic computers) > Softwareentwicklung > Programmierung > Softwarespezifikation > Kompatibilität
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 501 S.
graph. Darst.
ISBN:0133290034
0-13-329003-4