Deductive program design [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Advanced Study Institute on Deductive Program Design (BerichterstatterIn)
Weitere Verfasser: Broy, Manfred (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1996
Schriftenreihe:NATO: [Nato ASI series / F] 152
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!