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 - 9780521641708 - 1998. gada 3. 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
€ 167,49

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

Paredzamā piegāde . gada 18. sept. - . gada 2. okt.
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     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1998. gada 3. decembris
ISBN13 9780521641708
Izdevēji Cambridge University Press
Lapas 436
Izmēri 159 × 236 × 32 mm   ·   845 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)