Code: 09535572

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 09535572
Price: 51.59 EUR
Availability: InStock
Author: Michael Butler
ISBN: 9783319254227

by Michael Butler, Sylvain Conchon, Fatiha Za?di

Language: English
Binding: Paperback
Number of pages: 436
Publisher: Springer International Publishing AG, 2015
More about this

51.59 €

RRP: 55.86 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Heroic Legend of Arslan 22
8.57 € -24 %
Buy
Ritual Baths
21.70 € -24 %
Buy
Appuntamento a Positano
14.63 €
Buy
Blood Brothers Beyond
21.09 € -2 %
Buy
Druhá derivace touhy Na prahu digitální teologie
11.60 € -19 %
Buy
My Family Puzzle - Country Life
15.14 € -15 %
Buy
Jak přemýšlí náš teenager?
15.24 € -25 %
Buy
Two Towers
12.91 € -10 %
Buy
Don Chisciotte in Sicilia
18.37 €
Buy
Rise of the Necrofauna
14.53 € -23 %
Buy
Adolf Hitler
27.55 € -14 %
Buy
Evolution Driven by Organismal Behavior
32 € -24 %
Buy
Tecumseh's Last Stand
23.21 €
Buy
Erich Von Manstein
41.08 € -21 %
Buy
Outcast by Kirkman & Azaceta Volume 2: A Vast and Unending Ruin
14.33 € -9 %
Buy
Speculum Saxonum Ius municipale
6.15 €
Buy
Pearson REVISE 11+ English Practice Book 1
14.43 €
Buy
The Kama Sutra
14.02 € -7 %
Buy
Thermo-Hydraulics of Nuclear Reactors
60.47 € -14 %
Pre-order
American Game Fishes; Their Habits, Habitat and Peculiarities;
39.07 € -1 %
Buy
Peche a la lune (La)
9.08 €
Buy
Obturating Materials for Decidouos Dentition
39.17 € -14 %
Buy
Successful Technological Integration for Competitive Advantage in Retail Settings
210.92 €
Buy
Grade 9-1 GCSE Chemistry: OCR Gateway Revision Guide with Online Edition
8.98 € -10 %
Buy
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot
7.26 € -6 %
Buy
Separation and the Very Young
27.86 €
Buy
Notes On The Speculative Mysteries
17.46 € -2 %
Buy
Les Femmes Du Nouveau Monde (Nouv. Ed.)
24.02 €
Buy
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe
17.46 € -1 %
Buy
TAMPOCO ABRAS ESTE LIBRO JAMáS
18.77 €
Buy
Arimaspian Eye
49.46 € -9 %
Buy
Questions and Answers on Bills, Notes, and Checks.
13.92 € -24 %
Buy
Relation d'Une Epidemie A Phenomenes Hystero-Choreiques A Albon, Ardeche, 1882
13.01 € -1 %
Buy
Hunger auf Leben
7.36 € -14 %
Buy
Key Concepts in Health Psychology
111.66 € -10 %
Buy
Asi Se Dice! Level 1a, Student Edition
128.02 €
Buy
Cuando Digo No A Las Drogas Y Al Alcohol
8.27 €
Buy
Herzvibrieren
11.80 € -10 %
Buy
Espiritualidad Islamica en Venezuela
87.03 € -14 %
Buy
The McGregor Chronicles: Book 2 - Escape from Eden
12.31 € -7 %
Buy
La Peor Seqora del Mundo
6.86 €
Buy
Can The Market Speak?
10.09 € -18 %
Buy
Biotechs
12.61 € -10 %
Buy
De ejercicios con sor Isabél
13.92 €
Buy
A California Explorer: Five years contributions to California Explorer Magazine
10.19 € -7 %
Buy
Music Theory for Singers Level One
25.33 €
Buy
Auf dass wir klug werden
16.25 € -10 %
Buy
Hand-Book to the Cathedral Church of Ely. with Engravings.
15.34 € -24 %
Buy
Rival Truths
52.90 €
Buy
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2
27.76 €
Buy
Ich und du 5 podręcznik +CD /2012
10.09 €
Buy
Die Geschichte des Gil Blas von Santillana
31.19 € -11 %
Buy
Gwendoline's Harvest: A Novel...
22.81 € -25 %
Buy
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887)
25.54 € -2 %
Buy
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein
22.41 € -11 %
Buy
Das venezianische Spiel
9.08 € -10 %
Buy
Multi-GHz Frequency Synthesis & Division
102.78 € -7 %
Buy
Voice Biomarkers
130.64 € -9 %
Buy
La Cour Littéraire De Don Juan Ii; Volume 1
31.80 € -2 %
Buy
LA NATURE EN LANGUEDOC-ROUSSILLON
16.04 €
Buy
Chaplains of ANZAC
14.83 € -1 %
Buy
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales
13.82 € -2 %
Buy
Max von Schenkendorf
31.19 € -11 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods and Software Engineering

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer hardware Network hardware

51.59 €

Full title: Formal Methods and Software Engineering
Subtitle: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Author: Michael Butler, Sylvain Conchon, Fatiha Za?di
Language: English
Binding: Paperback
Number of pages: 436
EAN: 9783319254227
ISBN: 3319254227
ID: 09535572
Publisher: Springer International Publishing AG
Weight: 6964 g
Dimensions: 235 × 155 × 236 mm
Date of publishing: 02. November 2015