Software Abstractions
Logic, Language, And Analysis
- Editore:
Mit Press Ltd
- EAN:
9780262101141
- ISBN:
0262101149
- Pagine:
- 366
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Software Abstractions
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
Fuori catalogo - Non ordinabile
€ 32.00
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti