Alta reperibilità
Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540208037
- ISBN:
3540208038
- Pagine:
- 344
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Verification, Model Checking, and Abstract Interpretation
Israel) called On the Expressive Power of Canonical Abstraction,and ¿atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.
o 3 rate da € 27.10 senza interessi con 
Disponibile in 10-12 giorni
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoiRecensioni degli utenti
e condividi la tua opinione con gli altri utenti
