Formal Development of Programs and Proofs - Rilegato

 
9780201172379: Formal Development of Programs and Proofs

Sinossi

Book by Dijkstra Edsger Dijkstra E W

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.