Articles liés à Software Engineering and Formal Methods: 12th International...
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Couverture souple
Synopsis
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 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 52,41
EUR 3,41 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Software Engineering and Formal Methods: 12th International...
Image d'archives
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Programming and Software Engineering)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020088323
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering and Formal Methods : 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 21664198-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Programming and Software Engineering)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783319104300
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Programming and Software Engineering)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783319104300
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering and Formal Methods : 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings
Edité par
Springer, 2014
ISBN 10 : 3319104306
ISBN 13 : 9783319104300
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 21664198
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319104300_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783319104300
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Software Engineering and Formal Methods : 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 21664198-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering and Formal Methods
Edité par
Springer International Publishing Aug 2014, 2014
ISBN 10 : 3319104306
ISBN 13 : 9783319104300
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems. 416 pp. Englisch. N° de réf. du vendeur 9783319104300
Quantité disponible : 2 disponible(s)
Image d'archives
Software Engineering and Formal Methods
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 418. N° de réf. du vendeur 26128242311
Quantité disponible : 4 disponible(s)