• Soluzioni per l'istruzione e le imprese Si apre in una nuova finestra

Tools and Algorithms for the Construction and Analysis of Systems
20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

  • Editore
    Springer
  • Formato
    Fisso
  • ISBN versione cartacea 9783642548611, 364254861X
  • ISBN eText 9783642548628, 3642548628
  • Copyright
    2014
Noleggia o acquista eTextbook
‌‌
€15.60 EUR
‌

Il lettore di eTextbook numero uno al mondo per gli studenti. VitalSource è il principale fornitore di libri di testo e materiali didattici online. Oltre 15 milioni di utenti hanno utilizzato la nostra piattaforma Bookshelf nell'ultimo anno per migliorare la loro esperienza di apprendimento e i risultati ottenuti. Grazie all'accesso in qualsiasi momento e ovunque a strumenti integrati come evidenziatori, flashcard e gruppi di studio, è facile capire perché molti studenti scelgono di passare al digitale con Bookshelf.

  • Oltre 2,7 milioni titoli di oltre 1.000 case editrici disponibili

  • Oltre 65.000 recensioni dei clienti con una valutazione media di 9,5

  • Oltre 5 miliardi pagine digitali visualizzate negli ultimi 12 mesi

  • Oltre 7.000 istituti che utilizzano Bookshelf in 241 paesi

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Tools and Algorithms for the Construction and Analysis of Systems sono 9783642548628, 3642548628 e gli ISBN per la versione cartacea sono 9783642548611, 364254861X. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio