Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | eBook |
| Lingua: | English |
| Pubblicazione: |
Cham
Springer International Publishing
2014.
|
| Serie: | Lecture Notes in Computer Science
8702 |
| 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: