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!

Keine Ergebnisse!