Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods and Software Engineering

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09535572

Nakladateľstvo Springer International Publishing AG, november 2015

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Celý popis

Libristo kód: 09535572

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Kniha

16.09 €

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

Brožovaná

22.68 €

Max von Schenkendorf E. Heinrich

Brožovaná

31.29 €

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

Pevná

11.74 €

Speculum Saxonum Ius municipale

Pevná

6.17 €

Peche a la lune (La) DUBOIS

Brožovaná

9.11 €

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

Brožovaná

43.34 €

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

Brožovaná

15.39 €

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

Brožovaná

10.12 €

Appuntamento a Positano Goliarda Sapienza

Brožovaná

14.68 €

Don Chisciotte in Sicilia Roberto Mandracchia

Brožovaná

18.42 €

Hunger auf Leben Brigitte Reimann

Brožovaná

7.38 €

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

Brožovaná

22.47 €

Espiritualidad Islamica en Venezuela Nadya Ramdjan

Brožovaná

87.30 €

Auf dass wir klug werden Anja Zimmer

Brožovaná

16.30 €

Biotechs A Schneider

Brožovaná

12.65 €

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

Brožovaná

31.29 €

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

Brožovaná

27.84 €

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

Brožovaná

13.87 €

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

Brožovaná

24.10 €

TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE

Pevná

18.93 €

De ejercicios con sor Isabél de Meester

Brožovaná

13.97 €

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

Brožovaná

17.51 €

Herzvibrieren Josie Kju

Brožovaná

11.84 €

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.