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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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: 20515 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

20 515 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

3 688 Ft

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

Hardback

4 731 Ft

Epistola Pastoralis S. Nersetis Claiensis... Giuseppe Cappelletti

Paperback

7 613 Ft

Peche a la lune (La) DUBOIS

Paperback

3 216 Ft

De la race des seigneurs Alain-Fabien Delon

Paperback

11 949 Ft

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Book

5 741 Ft

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

Paperback

15 846 Ft

Max von Schenkendorf E. Heinrich

Paperback

12 492 Ft

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

Paperback

7 085 Ft

Appuntamento a Positano Goliarda Sapienza

Paperback

5 455 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 957 Ft

Ran the Peerless Beauty 06 Hana Rude

Paperback

1 525 Ft

Il libro dei lupi MEZZO DAVIDE ANDREA

Paperback

6 903 Ft

Zaginieni mistrzowie. Ponowne odkrycie duchowości Starożytnych Greckich Filozofów Eckhart Tolle Book

binding.

4 002 Ft

Don Chisciotte in Sicilia Roberto Mandracchia

Paperback

6 618 Ft

Pforte der Verdammnis C.J. Sansom

Adobe ePub DRM

5 407 Ft

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

Paperback

12 492 Ft

Chefs-d'Oeuvre de Voltaire. Tome 3. Merope Voltaire

Paperback

7 995 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

10 243 Ft

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

Paperback

5 260 Ft

L'Espagne Telle Qu'elle Est Almirall-V

Paperback

5 260 Ft

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

Paperback

8 762 Ft

Hunger auf Leben Brigitte Reimann

Paperback

2 944 Ft

De ejercicios con sor Isabél de Meester

Paperback

5 122 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.