Immagine di copertina: Formal Methods for Multicore Programming 9783319189406

Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

  • Editore Pubblicato da Springer Copyright © 2015
  • "ISBN-13 9783319189406"
  • Formato Layout adattabile

eBook

Licenza eTextbook
‌
€14.66 EUR
‌
‌

  • Strumenti di studio

    Strumenti di studio integrati come momenti salienti e altro

  • Leggi ad alta voce

    Ascolta e segui mentre Bookshelf legge il testo per te

  • Accesso offline

    Accedi al tuo eTextbook sempre e ovunque

  • Ricerca globale

    Cerca nel contenuto del libro, nelle figure e nella tua cartella di lavoro

Ulteriori informazioni

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Formal Methods for Multicore Programming sono 9783319189413, 3319189417 e gli ISBN per la versione cartacea sono 9783319189406, 3319189409. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio