Using Z: Specification Proof Refinement

J. C. P. Woodcock, Jim Davies

Anno: 1996
Rilegatura: Paperback
Pagine: 408 p.
Testo in English
Dimensioni: 100 x 100 mm
Peso: 100 gr.
  • EAN: 9780139484728

€ 88,33

€ 92,01

Risparmi € 3,68 (4%)

Venduto e spedito da IBS

88 punti Premium

Disponibile in 4/5 settimane

Quantità: