Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 09535572
Price: 53.79 EUR
Availability: InStock
Author: Michael Butler
ISBN: 9783319254227

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Michael Butler

Sylvain Conchon

Fatiha Za?di

Language

English

Book Paperback

Libristo code: 09535572

Publishers Springer International Publishing AG, November 2015

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Full description

Libristo code: 09535572

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Peche a la lune (La) DUBOIS

Paperback

9.39 €

Speculum Saxonum Ius municipale

Hardback

6.39 €

Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud

Paperback

23.49 €

Max von Schenkendorf E. Heinrich

Paperback

34.90 €

TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE

Hardback

19.69 €

Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček

Hardback

12.49 €

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Book

16.49 €

Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA

Paperback

44.59 €

Jak přemýšlí náš teenager? Tanith Careyová

Paperback

18.69 €

Ich und du 5 podręcznik +CD /2012 Marta Kozubska Book

Paperback

10.39 €

Appuntamento a Positano Goliarda Sapienza

Paperback

15.19 €

Don Chisciotte in Sicilia Roberto Mandracchia

Paperback

19.09 €

Hunger auf Leben Brigitte Reimann

Paperback

8.50 €

Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski

Paperback

24.99 €

Espiritualidad Islamica en Venezuela Nadya Ramdjan

Paperback

91.29 €

Auf dass wir klug werden Anja Zimmer

Paperback

18.00 €

Biotechs A Schneider

Paperback

13.99 €

Die Geschichte des Gil Blas von Santillana Alain René Le Sage

Paperback

34.90 €

Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales

Paperback

30.19 €

de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J

Paperback

15.09 €

Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X

Paperback

26.09 €

Das venezianische Spiel Philip Gwynne Jones

Paperback

10.00 €

De ejercicios con sor Isabél de Meester

Paperback

14.39 €

Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A

Paperback

19.09 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.