Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science - De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) - Grāmatas - Cambridge University Press - 9780521103503 - 2008. gada 18. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)
Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science

Cena
€ 81,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 30. okt. - . gada 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Graduate text in formal methods in computer science.

436 pages, 18 b/w illus. 93 exercises

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2008. gada 18. decembris
ISBN13 9780521103503
Izdevēji Cambridge University Press
Lapas 436
Izmēri 229 × 151 × 27 mm   ·   660 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)