Formal Development of Programs and Proofs (The Ut Year of Programming Series) - Hardcover

Dijkstra, Edsger W.

 
9780201172379: Formal Development of Programs and Proofs (The Ut Year of Programming Series)

Inhaltsangabe

Book by Dijkstra Edsger Dijkstra E W

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.