Predicate Calculus and Program Semantics

Författare
Edsger W. Dijkstra
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1990 Utgivningsland okänt / Ej specificerat