Formal Development of Programs and Proofs - Couverture rigide

Dijkstra, Edsger W.

 
9780201172379: Formal Development of Programs and Proofs

Synopsis

Book by Dijkstra Edsger Dijkstra E W

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.