Formal development of programs and proofs

Formal development of programs and proofs

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Dijkstra, Edsger W. (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Reading, Mass. u.a. Addison 1990
Schriftenreihe:˜Theœ UT year of programming series
Schlagworte:
Engenharia de programacao (software) > Programacao de computadores > Programmation (Informatique) - Congrès > Computer programming > Programmverifikation > Aufsatzsammlung > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIV, 242 S.
Ill.
ISBN:0201172372
0-201-17237-2