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

Dijkstra, Edsger W.

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

Sinopsis

Book by Dijkstra Edsger Dijkstra E W

"Sinopsis" puede pertenecer a otra edición de este libro.