Perfeziona la tua ricerca
Non siamo riusciti a trovare corrispondenze esatte in base alla tua ricerca.
Risultati corrispondenti alla tua ricerca
- 101 International SPASArieff, Allison, Burkhart, Bryan
- Rilegato
- Usato
EUR 10,00 spedizione - 101 International SPASArieff, Allison, Burkhart, Bryan
- Rilegato
- Usato
EUR 10,00 spedizione - International Old Lacers Bulletin - July 1977Kritner, Gwen; Mary Burkhart -etal.
- Brossura
- Prima edizione
- Usato
EUR 5,78 spedizione - Formal Approaches to Software Testing and Runtime Verification. First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006. Revised selected papers. (= Lecture notes in computer science ; Vol. 4262).Havelund, Klaus a. o. (Edts.):
- Brossura
- Usato
EUR 20,00 spedizione - Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science)Basin, David [Editor]; Wolff, Burkhart [Editor];
- Brossura
- Usato
EUR 6,21 spedizione
