Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 09535572

Casa editrice Springer International Publishing AG, novembre 2015

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

Codice Libristo: 09535572

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Libro

16.49 €

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

In brossura

23.49 €

Max von Schenkendorf E. Heinrich

In brossura

32.69 €

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

Rigido

13.19 €

Speculum Saxonum Ius municipale

Rigido

6.39 €

Peche a la lune (La) DUBOIS

In brossura

9.39 €

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

In brossura

42.79 €

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

In brossura

18.69 €

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

In brossura

10.39 €

Appuntamento a Positano Goliarda Sapienza

In brossura

15.19 €

Don Chisciotte in Sicilia Roberto Mandracchia

In brossura

19.09 €

Hunger auf Leben Brigitte Reimann

In brossura

7.69 €

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

In brossura

23.49 €

Espiritualidad Islamica en Venezuela Nadya Ramdjan

In brossura

91.29 €

Auf dass wir klug werden Anja Zimmer

In brossura

16.99 €

Biotechs A Schneider

In brossura

13.29 €

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

In brossura

32.69 €

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

In brossura

30.19 €

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

In brossura

15.09 €

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

In brossura

26.09 €

TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE

Rigido

18.69 €

De ejercicios con sor Isabél de Meester

In brossura

13.79 €

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

In brossura

19.09 €

Herzvibrieren Josie Kju

In brossura

12.39 €

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.