Springer 3 17 2010 (1 risultati)

Casa editrice:

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe (Paperback or Softback)
Esparza, Javier
Lingua: Inglese
Editore: Springer 3/17/2010, 2010
3642120016 / 9783642120015
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 58,04
Spedizione gratuita
Spedito in U.S.A.
Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe. Book.
Scopri altri titoli di Javier Esparza
Scopri le opere pubblicate e le offerte di articoli da collezione.Scopri Javier Esparza

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe (Paperback or Softback)