Code: 01663776

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663776
Price: 51.56 EUR
Availability: InStock
Author: Einar Broch Johnsen
ISBN: 9783642386121

by Einar Broch Johnsen, Luigia Petre

Language: English
Binding: Paperback
Number of pages: 443
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
More about this

51.56 €

RRP: 55.84 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Daughters Of Arabia
10.08 € -29 %
Buy
Stalin
15.43 € -25 %
Buy
Might as Well Be Dead
11.80 € -14 %
Buy
Crimson Spell. Bd.5
9.28 €
Pre-order
Rivalen unter roter Sonne, 1 Blu-ray
13.82 €
Buy
Inside Gitmo
19.87 € -18 %
Buy
Learn Power BI
42.58 € -2 %
Buy
Global Business Strategy
27.14 € -24 %
Buy
La biblia del ayurveda : guía definitiva de la sanación ayurvédica
21.18 €
Buy
Fall From India Place
19.17 € -18 %
Buy
Mitochondrial DNA abnormalities in patients with idiopathic myositis
47.93 € -14 %
Buy
P.g. De Gennes' Impact On Science - Volume I & Ii
89.11 € -9 %
Pre-order
Trees of the Celtic Saints The Ancient Yews of Wales
10.69 €
Buy
Marriage Markets
25.42 € -11 %
Buy
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text
17.85 € -25 %
Buy
Die Geschichte von der 1002. Nacht, 8 Audio-CD
40.36 € -5 %
Buy
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours
30.97 €
Buy
Totenbuch DES Mainzer Dominikanerklosters
118.88 € -4 %
Buy
Blaze and Thunderbolt
7.86 € -25 %
Buy
Fire in the Blood
22.19 €
Buy
Mentalizing in Arts Therapies
201.74 €
Buy
Dangerous Language ? Esperanto under Hitler and Stalin
116.66 € -4 %
Buy
Progressive Development
102.73 € -7 %
Buy
Meetings with Remarkable Women
27.34 € -18 %
Buy
Of Lands High and Low
12.30 € -7 %
Buy
Elegies.
11.80 € -25 %
Buy
EINE KLEINE NACHTMUSIK KV 525
11.60 €
Buy
Industrial Power Systems
288.44 €
Buy
Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16
38.14 € -1 %
Buy
Psychology of Crime, Policing and Courts
234.04 €
Buy
Exponential Families of Stochastic Processes
154.01 € -7 %
Buy
Viral Genome Packaging: Genetics, Structure, and Mechanism
154.01 € -7 %
Buy
Mallorca a mitjan segle XV : el sindicat i l'alçament for?
32.59 € -9 %
Buy
Folklore: What Is It and What Is the Good of It?
25.52 € -2 %
Buy
Tocqueville
13.11 € -22 %
Buy
Free Thoughts on Despotic and Free Governments
32.69 € -2 %
Buy
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3
10.69 €
Buy
Safety of historical stone arch bridges
100.51 € -9 %
Buy
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life
12.30 € -7 %
Buy
Awakening Power
14.73 € -25 %
Buy
Recht und Energie
214.87 €
Buy
Dançando tango em Istambul
44.40 € -14 %
Buy
Kunst Des 18. Jahrhunderts
43.79 € -3 %
Buy
What Dreams Were Made Of
176.01 €
Buy
Value of Systems and Complexity Sciences for Healthcare
102.73 € -7 %
Buy
Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace
42.38 €
Buy
Racism, Culture, Markets
278.05 €
Buy
Applications of Chlorophyll Fluorescene
154.01 € -7 %
Buy
Plains of Abraham. Notes, Original and Selected.
17.25 € -2 %
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

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

51.56 €

Full title: Integrated Formal Methods
Subtitle: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Author: Einar Broch Johnsen, Luigia Petre
Language: English
Binding: Paperback
Number of pages: 443
EAN: 9783642386121
ISBN: 3642386121
ID: 01663776
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 700 g
Dimensions: 235 × 155 × 26 mm
Date of publishing: 07. May 2013