Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Integrated Formal Methods
11th International Conference, Ifm 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8739
52,95 €
+ 105 points
Description
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
Spécifications
Parties prenantes
- Editeur:
Contenu
- Nombre de pages :
- 390
- Langue:
- Anglais
- Collection :
- Tome:
- n° 8739
Caractéristiques
- EAN:
- 9783319101804
- Date de parution :
- 15-09-14
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 562 g
