Przejdź do treści

Data Refinement

de Roever Willem-Paul

Wydawca: Cambridge University Press

Druk
EN
2008
Popularnonaukowe

Data Refinement: Model-Oriented Proof Methods and their Comparison Graduate text in formal methods in computer science. Autor: Willem-Paul (Christian-Albrechts Universitat zu Kiel de Roever, Kai (University of Technology Engelhardt Wydawnictwo: Cambridge University Press Rok wydania: 2008 Okładka: miękka Liczba stron: 436 Wymiary: 15.1 x 22.9 x 2.7 cm Ilustracje: Worked examples or Exercises; 18 Halftones, unspecified Język: angielski ISBN: 9780521103503

Aktualne ceny

Brak informacji o cenach

Historia cen (ostatnie 30 dni)

Brak historii cen