Nantilus
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were car...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe. |
| Édition : | 1st ed. 2012. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 |
| Collection : | Programming and Software Engineering ; 7504 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
Software Engineering and Formal Methods Autre format: Software Engineering and Formal Methods |
| LEADER | 03488clm a2200721 4500 | ||
|---|---|---|---|
| 001 | PPN168325519 | ||
| 003 | http://www.sudoc.fr/168325519 | ||
| 005 | 20241001155200.0 | ||
| 010 | |a 978-3-642-33826-7 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-33826-7 |2 DOI |
| 035 | |a (OCoLC)818324167 | ||
| 035 | |a Springer978-3-642-33826-7 | ||
| 035 | |a Springer-11645-978-3-642-33826-7 | ||
| 100 | |a 20130325d2012 k |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Software Engineering and Formal Methods |e 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings |f edited by George Eleftherakis, Mike Hinchey, Mike Holcombe. | |
| 205 | |a 1st ed. 2012. | ||
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg |d 2012 | |
| 225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7504 | |
| 230 | |a Données textuelles | ||
| 330 | |a This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods | ||
| 337 | |a Nécessite un lecteur de fichier PDF | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7504 | |
| 452 | | | |t Software Engineering and Formal Methods |y 9783642338250 | |
| 452 | | | |t Software Engineering and Formal Methods |y 9783642338274 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Computer Communication Networks | |
| 610 | 2 | |a Artificial Intelligence. | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Compilers and Interpreters | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 680 | |a QA76.758 | ||
| 701 | 1 | |a Eleftherakis |b George |4 651 | |
| 701 | 1 | |a Eleftherakis |b George |4 651 | |
| 701 | 1 | |a Hinchey |b Mike |4 651 | |
| 701 | 1 | |a Holcombe |b Mike |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
| 856 | 4 | |5 441099901:830855335 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-33826-7 | |
| 915 | |5 441099901:830855335 |b SPRING13-00579 | ||
| 930 | |5 441099901:830855335 |b 441099901 |j g | ||
| 991 | |5 441099901:830855335 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:12 | ||
| 997 | |a NUM |b SPRING13-00579 |d NUMpivo |e EM |s d | ||
| 998 | |a 978411 | ||