Predicate Calculus and Program Semantics

Dijkstra, Edsger W. / Scholten, Carel S.

Editore: Springer, 1990. 220 pp. First edition.

Condizione: Usato Rilegato

Venduto da Antiquariaat Hortus Conclusus, Den Haag, Paesi Bassi

Venditore AbeBooks dal 20 ottobre 2022

Valutazione del venditore 5 su 5 stelle

Prezzo: EUR 50,00 Convertire valuta

EUR 14,50 per la spedizione da Paesi Bassi a Italia Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Original hardcover binding, in very good condition. Almost as new. Text in English. Please see description or ask for photos.

Codice articolo 223530826

Hortus Conclusus is een onafhankelijk en professioneel antiquariaat met een breed assortiment aan interessante boeken.

Antiquariaat Hortus Conclusus
Junostraat 6 unit 8, Den Haag, 2516 BR, Netherlands