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!
Titel Jahr Verfasser
On two equations that have the same extreme solution : (EWD1168) 1996 Dijkstra, Edsger W.
Mathematical models for computing science 1996 Hoare, C.A.R.
Specification and refinement of a Buffer of length one 1996 Broy, Manfred
Model checking 1996 Clarke, E.
Proof and Design : machine-assisted formal proof as a basis for behavioural design tools 1996 Fourman, Michael P.
Fibonacci and the greatest common divisor : (EWD1077) 1996 Dijkstra, Edsger W.
A bagatelle on Euclid's Algorithm : (EWD1158) 1996 Dijkstra, Edsger W.
The algebra of programming 1996 Bird, Richard
On TLA as a Logic 1996 Abadi, Martin
A program transformation approach to asynchronous VLSI design 1996 Martin, Alain J.
On tradtitions in Marktoberdorf 1996 Schneider, Fred B.
Buterman's theorem on shortest trees : (EWD1131) 1996 Dijkstra, Edsger W.
A prime is in at most 1 way the sum of 2 squares : (EWD1155a) 1996 Dijkstra, Edsger W.
Interaction categories and thte foundations of typed concurrent programming 1996 Abramsky, Samson
The argument about the arithmetic mean and thte geometric mean, heuristics included : (EWD1171) 1996 Dijkstra, Edsger W.
The balance and the coins : (EDW1083) 1996 Dijkstra, Edsger W.
Data refinement and the transform 1996 Gries, David
Notes on proof outline logic 1996 Schneider, Fred B.
Alle Artikel auflisten