Boekstra.nl - de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germany), Engelhardt, Kai (University of Technology, Sydney) - Data Refinement

Data Refinement

Model-Oriented Proof Methods and their Comparison

Image not found

Afbeelding niet gevonden

Omschrijving

Graduate text in formal methods in computer science.

In de winkelwagen Bestel vandaag,
ontvang het met 5 werkdagen. Wenslijst Stel een vraag

In de winkelwagen 14 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germany), Engelhardt, Kai (University of Technology, Sydney)
Titel: Data Refinement
Uitgever: Cambridge University Press

Jaar: 2008
Taal: Engels
Pagina's: 436
Gewicht: 660 gr

EAN: 9780521103503
Afmetingen: 151 x 229 x 27 mm
Bindwijze: Paperback

U ontvangt bij ons altijd de laatste druk!

Rubrieken

Eten en drinken

Alle categorieën

Rubrieken

Eten en drinken

Alle categorieën