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.
Autres éditions populaires du même titre
Résultats de recherche pour Formal Methods and Software Engineering: 13th International...
Image d'archives
Formal Methods and Software Engineering (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 2538707960678f135286ec7da98afce9
Acheter neuf
EUR 46,22
Expédition à EUR 11
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
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
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 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
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
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
Acheter neuf
EUR 97,21
Expédition à EUR 3,49
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 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
Acheter D'occasion
EUR 48,16
Expédition à EUR 53,88
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 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
Acheter neuf
EUR 86,03
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods and Software Engineering
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. xiv + 670 200 Illus. (66 Col.). N° de réf. du vendeur 3512484
Acheter neuf
EUR 96,80
Expédition à EUR 7,62
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
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 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. xiv + 670. N° de réf. du vendeur 184335473
Acheter neuf
EUR 98,18
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering
Edité par
Springer, Springer 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. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 684 pp. Englisch. N° de réf. du vendeur 9783642245589
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
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
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Formal Methods and Software Engineering | 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings | Shengchao Qin (u. a.) | Taschenbuch | xiv | Englisch | 2011 | Springer | EAN 9783642245589 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 106590733
Acheter neuf
EUR 50,40
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)