Using Z: Specification Proof Refinement

J. C. P. Woodcock, Jim Davies

Anno: 1996
Rilegatura: Paperback
Pagine: 408 p.
Testo in English
Dimensioni: 234 x 173 mm
Peso: 687 gr.
  • EAN: 9780139484728
Approfitta delle promozioni attive su questo prodotto:

€ 76,66

€ 90,19

Risparmi € 13,53 (15%)

Venduto e spedito da IBS

77 punti Premium

Disponibile in 4/5 settimane

Quantità:
Aggiungi al carrello