Articles liés à Formal Methods and Software Engineering: 13th International...
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings - Couverture souple
Synopsis
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2011
- ISBN 10 3642245587
- ISBN 13 9783642245589
- ReliureBroché
- Langueanglais
- Nombre de pages684
- ÉditeurQin Shengchao, Qiu Zongyan
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Formal Methods and Software Engineering: 13th International...
Image d'archives
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Edité par
Springer Berlin Heidelberg, 2011
ISBN 10 : 3642245587
ISBN 13 : 9783642245589
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 684 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 11614452/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering
Edité par
Springer Berlin Heidelberg, 2011
ISBN 10 : 3642245587
ISBN 13 : 9783642245589
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up to date results Fast track conference proceedings State of the art researchThis book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October. N° de réf. du vendeur 5053607
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Edité par
Springer Berlin Heidelberg, 2011
ISBN 10 : 3642245587
ISBN 13 : 9783642245589
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting. N° de réf. du vendeur 9783642245589
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering
Edité par
Springer Berlin Heidelberg Okt 2011, 2011
ISBN 10 : 3642245587
ISBN 13 : 9783642245589
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 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting. 684 pp. Englisch. N° de réf. du vendeur 9783642245589
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. . (Lecture Notes in Computer Science, 6991)
Edité par
Springer, 2011
ISBN 10 : 3642245587
ISBN 13 : 9783642245589
Ancien ou d'occasion
Soft cover
Edition originale
Vendeur : Hard To Find Editions, Bristol, AVON, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : Very Good. 1st Edition. This book has been read, but is in a clean and very good condition. All pages are intact with no highlighting or writing contained within. The spine remains undamaged with tight binding. Fast dispatch within and from the UK. 100% money back guarantee. N° de réf. du vendeur ABE-1677160251225
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2011, 2011
ISBN 10 : 3642245587
ISBN 13 : 9783642245589
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 684 pp. Englisch. N° de réf. du vendeur 9783642245589
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, Icfem 2011, Durham, Uk, October 26-28, 2011. Proceedings
Edité par
Springer-Verlag New York Inc, 2011
ISBN 10 : 3642245587
ISBN 13 : 9783642245589
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 2011 edition. 670 pages. 9.00x6.00x1.50 inches. In Stock. N° de réf. du vendeur 3642245587
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods and Software Engineering
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xiv + 670. N° de réf. du vendeur 264335483
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Methods and Software Engineering
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. xiv + 670 200 Illus. (66 Col.). N° de réf. du vendeur 3512484
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Methods and Software Engineering
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. xiv + 670. N° de réf. du vendeur 184335473
Quantité disponible : 4 disponible(s)