EBOOK IN LINGUA STRANIERA
Critical Systems: Formal Methods and Automated Verification
46,79 €
+470
punti 
Venditore: Feltrinelli
Acquisto online
Scaricabile subito
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Dati e Statistiche
Salvato in 0 liste dei desideri
Salvato in 0 liste dei desideri
Critical Systems: Formal Methods and Automated Verification
Scaricabile subito
46,79 €
46,79 €
Scaricabile subito
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
-
Curatore:
-
Anno edizione:2016
-
Editore:
-
Formato:
Testo in en
Compatibilità:
Tutti i dispositivi (eccetto Kindle) Scopri di più
Layout:
Reflowable
EAN:
9783319459431
Formato:
Gli eBook venduti da Feltrinelli.it sono in formato ePub e possono essere protetti da Adobe DRM. In caso di download di un file protetto da DRM si otterrà un file in formato .acs, (Adobe Content Server Message), che dovrà essere aperto tramite Adobe Digital Editions e autorizzato tramite un account Adobe, prima di poter essere letto su pc o trasferito su dispositivi compatibili.
Cloud:
Gli eBook venduti da Feltrinelli.it sono sincronizzati automaticamente su tutti i client di lettura Kobo successivamente all’acquisto. Grazie al Cloud Kobo i progressi di lettura, le note, le evidenziazioni vengono salvati e sincronizzati automaticamente su tutti i dispositivi e le APP di lettura Kobo utilizzati per la lettura.
Clicca qui per sapere come scaricare gli ebook utilizzando un pc con sistema operativo Windows
