Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 09535572
Price: 19902 HUF
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

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Book

5 685 Ft

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

Paperback

8 634 Ft

Max von Schenkendorf E. Heinrich

Paperback

12 119 Ft

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

Hardback

4 645 Ft

Speculum Saxonum Ius municipale

Hardback

2 182 Ft

Peche a la lune (La) DUBOIS

Paperback

3 226 Ft

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

Paperback

15 358 Ft

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

Paperback

6 332 Ft

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

Paperback

3 577 Ft

Appuntamento a Positano Goliarda Sapienza

Paperback

5 190 Ft

Don Chisciotte in Sicilia Roberto Mandracchia

Paperback

6 521 Ft

Hunger auf Leben Brigitte Reimann

Paperback

2 875 Ft

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

Paperback

8 708 Ft

Espiritualidad Islamica en Venezuela Nadya Ramdjan

Paperback

33 827 Ft

Auf dass wir klug werden Anja Zimmer

Paperback

6 304 Ft

Biotechs A Schneider

Paperback

4 922 Ft

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

Paperback

12 119 Ft

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

Paperback

11 125 Ft

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

Paperback

5 583 Ft

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

Paperback

9 600 Ft

TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE

Hardback

6 711 Ft

De ejercicios con sor Isabél de Meester

Paperback

4 955 Ft

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

Paperback

7 034 Ft

Herzvibrieren Josie Kju

Paperback

4 589 Ft

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.