Formal development of programs and proofs

Formal development of programs and proofs

Opis bibliograficzny
Kolejni autorzy: Dijkstra, Edsger Wybe
Format: Książka
Język:English
Wydane: Reading, Mass. Addison-Wesley c1990.
Hasła przedmiotowe:
Electronic digital computers > Programming > Congresses.