Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. <br>The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop ser...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Ente Autore: SpringerLink (Online service)
Altri autori: Pinger, Ralf, Stoelinga, Mariëlle
Natura: eBook
Lingua:English
Pubblicazione: Berlin, Heidelberg Imprint: Springer 2012.
Serie:Lecture Notes in Computer Science, 7437
Soggetti:
Accesso online:Click here to view the full text content
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !

Sistema in manutenzione

Il sistema di gestione della nostra biblioteca in questo momento è in manutenzione.

Le informazioni sulla disponibilità delle copie non sono disponibili. Ci scusiamo per l'inconveniente. Per assistenza puoi contattarci:

david@pintaran.my

Accesso online

Click here to view the full text content