FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the di...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Cham :
Springer
2015.
|
| Collection: | Lecture Notes in Computer Science
9109 |
| Sujets: | |
| Note: |
Index auteurs p. [609]-610 |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01533nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | 641223 | ||
| 008 | 171121s2015 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN220478821 | ||
| 020 | |a 9783319192482 | ||
| 024 | |a 9783319192482 | ||
| 041 | 0 | |a eng | |
| 111 | 2 | |a Formal methods Europe. |b International symposium |n (20 |d :2015 |c :Oslo, Norway). | |
| 245 | 1 | 0 | |a FM 2015 : |b formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |c Nikolaj Bjørner, Frank de Boer (eds.). |
| 260 | |a Cham : |b Springer, |c 2015. | ||
| 300 | |a 1 vol. (610 p.) : |b couv. en ill. ; |c 24 cms. | ||
| 490 | 0 | |a Lecture Notes in Computer Science |x 0302-9743 |v 9109 | |
| 500 | |a Index auteurs p. [609]-610 | ||
| 520 | |a This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development | ||
| 650 | |a Systèmes d'information | ||
| 650 | |a Informatique | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique informatique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Bjørner, Nikolaj. |4 pbd | |
| 700 | 1 | |a Boer, Frank S. De. |4 pbd | |
| 997 | |0 641223 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 1/Bourges/INSA CVL/ |z Bourges, INSA CVL, 005.131 FMD | ||