Specification In B: An Introduction Using The B Toolkit

Howard Haughton, Kevin Lano

Anno: 1996
Rilegatura: Paperback / softback
Pagine: 252 p.
Testo in English
  • EAN: 9781860940187
pagabile con 18App pagabile con Carta del Docente

Articolo acquistabile con 18App e Carta del Docente

€ 37,67

€ 41,86

Risparmi € 4,19 (10%)

Venduto e spedito da IBS

38 punti Premium

Disponibile in 4/5 settimane

Quantità: