An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
Dettagli
- Anno di pubblicazione
- 1996
- ISBN
- 0132422077
- Luogo di stampa
- Harlow
- Autore
- Potter, Ben, Till, David, Sinclair, Jane
- Editori
- Prentice Hall Europe
- Edizione
- 2nd Edition.
- Soggetto
- Computers, Information Technology
- Descrizione
- Paperback
- Stato di conservazione
- Molto buono
- Lingue
- Inglese
- Legatura
- Brossura
- Prima edizione
- False
Descrizione
xiv + 434 pages, appendices, bibliography, list of symbols, index, (Prentice Hall International Series in Computer Science). eng