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örperschaften: NATO Division of Scientific Affairs (BerichterstatterIn), Advanced Study Institute on Deductive Program Design (BerichterstatterIn)
Weitere Verfasser: Broy, Manfred (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1996
Schriftenreihe:NATO ASI series Series F, Computer and systems sciences 152
Schlagworte:
Electronic data processing > Distributed processing > System design > Congresses > Logic, Symbolic and mathematical > Konferenzschrift > Programmierung > Deduktionssystem
Online Zugang:Inhaltstext
Cover
Inhaltsverzeichnis
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Published in cooperation with NATO Scientific Affairs Division
Includes bibliographical references and index
Beschreibung:VIII, 467 S.
Ill., graph. Darst.
ISBN:3540609474
3-540-60947-4