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

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:
Datenverarbeitung > Electronic data processing > Distributed processing > Logic, Symbolic and mathematical > Congresses > System design > Softwareentwicklung > Programmierung > Deduktionssystem > Deduktion > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VIII, 467 S.
Ill., graph. Darst.
ISBN:3540609474
3-540-60947-4