Formal Methods and Software Engineering

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

Język

Angielski

Książka Miękka

Kod Libristo: 09535572

Wydawnictwo Springer International Publishing AG, listopad 2015

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Cały opis

Kod Libristo: 09535572

111 b

45.49 € včetně DPH

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Ich und du 5 podręcznik +CD /2012 Marta Kozubska Książka

Miękka

8.09 €

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

Twarda

10.89 €

Epistola Pastoralis S. Nersetis Claiensis... Giuseppe Cappelletti

Miękka

16.29 €

Peche a la lune (La) DUBOIS

Miękka

7.19 €

De la race des seigneurs Alain-Fabien Delon

Miękka

26.19 €

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Książka

12.79 €

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

Miękka

35.69 €

Max von Schenkendorf E. Heinrich

Miękka

34.90 €

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

Miękka

15.09 €

Appuntamento a Positano Goliarda Sapienza

Miękka

11.79 €

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

Miękka

24.99 €

Ran the Peerless Beauty 06 Hana Rude

Miękka

6.99 €

Il libro dei lupi MEZZO DAVIDE ANDREA

Miękka

14.59 €

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

binding.

8.89 €

Don Chisciotte in Sicilia Roberto Mandracchia

Miękka

14.29 €

Pforte der Verdammnis C.J. Sansom

Adobe ePub DRM

12.39 €

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

Miękka

34.90 €

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

Miękka

17.19 €

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

Miękka

23.69 €

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

Miękka

11.99 €

L'Espagne Telle Qu'elle Est Almirall-V

Miękka

11.99 €

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

Miękka

20.29 €

Hunger auf Leben Brigitte Reimann

Miękka

8.50 €

De ejercicios con sor Isabél de Meester

Miękka

11.29 €

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.