Data Refinement di Willem-Paul de Roever, Kai Engelhardt edito da Cambridge University Press
Alta reperibilità

Data Refinement

Model-oriented Proof Methods And Their Comparison

EAN:

9780521103503

ISBN:

0521103509

Pagine:
436
Formato:
Paperback
Lingua:
Inglese
Acquistabile con la

Descrizione Data Refinement

Graduate text in formal methods in computer science.

Spedizione gratuita
€ 70.96
o 3 rate da € 23.65 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Data Refinement
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti