Code: 01663776

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663776
Price: 51.55 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.55 €

RRP: 55.82 €

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
14.62 € -18 %
Buy
My Body, My Home
13.21 € -12 %
Buy
gatto del Dalai Lama e il potere del miao
23.20 € -9 %
Buy
Crimson Spell. Bd.5
9.27 €
Pre-order
Rivalen unter roter Sonne, 1 Blu-ray
13.71 €
Buy
Learn Power BI
42.57 € -2 %
Buy
Inside Gitmo
19.87 € -18 %
Buy
Pies ktory kochal zbyt mocno
7.76 € -21 %
Buy
Global Business Strategy
27.13 € -24 %
Buy
La biblia del ayurveda : guía definitiva de la sanación ayurvédica
21.28 €
Buy
Mitochondrial DNA abnormalities in patients with idiopathic myositis
47.92 € -14 %
Buy
Manekýna
9.07 € -26 %
Buy
Die Geschichte von der 1002. Nacht, 8 Audio-CD
40.35 €
Buy
Fall From India Place
19.16 € -18 %
Buy
Trees of the Celtic Saints The Ancient Yews of Wales
10.69 €
Buy
Happydemia
17.04 €
Buy
Dangerous Language ? Esperanto under Hitler and Stalin
116.64 € -4 %
Buy
P.g. De Gennes' Impact On Science - Volume I & Ii
102.11 €
Buy
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours
30.67 €
Buy
Gospel Culture: The Cultural Markings of a Christ-Centered Church
9.78 € -6 %
Buy
Marriage Markets
25.42 € -11 %
Buy
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text
17.75 € -26 %
Buy
Awakening Power
14.72 € -25 %
Buy
Blaze and Thunderbolt
7.86 € -25 %
Buy
The Other Side of Sadness
26.23 €
Buy
Recht und Energie
214.72 €
Buy
Meetings with Remarkable Women
27.34 € -18 %
Buy
Industrial Power Systems
308.16 €
Buy
Politik als Beruf
17.85 € -14 %
Buy
Mentalizing in Arts Therapies
239.14 €
Buy
Fire in the Blood
22.19 €
Buy
Totenbuch DES Mainzer Dominikanerklosters
118.86 € -1 %
Buy
Kunst Des 18. Jahrhunderts
43.68 €
Buy
Of Lands High and Low
12.30 € -7 %
Buy
Progressive Development
102.71 € -7 %
Buy
Elegies.
11.80 € -25 %
Buy
Plains of Abraham. Notes, Original and Selected.
17.25 € -2 %
Buy
EINE KLEINE NACHTMUSIK KV 525
11.29 €
Buy
Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16
38.13 € -1 %
Buy
365 Worksheets - Find Predecessor and Successor of 3 Digit Numbers: Math Practice Workbook
14.02 € -7 %
Buy
Exponential Families of Stochastic Processes
153.97 € -7 %
Buy
Fly ash for water and wastewater treatment
39.14 € -14 %
Buy
Beitraege Zur Rezeptions- Und Wirkungsgeschichte Der Volkserzaehlung
131.17 € -1 %
Buy
Psychology of Crime, Policing and Courts
232.98 €
Buy
Folklore: What Is It and What Is the Good of It?
25.52 € -2 %
Buy
Tocqueville
13.11 € -21 %
Buy
Viral Genome Packaging: Genetics, Structure, and Mechanism
153.97 € -7 %
Buy
Free Thoughts on Despotic and Free Governments
32.68 € -2 %
Buy
Mallorca a mitjan segle XV : el sindicat i l'alçament for?
32.58 € -9 %
Buy
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life
12.30 € -7 %
Buy
Pigeons Penguins Post Turtles: And Other Lousy Managers
12.30 € -7 %
Buy
Safety of historical stone arch bridges
100.49 € -9 %
Buy
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3
10.69 €
Buy
Dançando tango em Istambul
44.39 € -14 %
Buy
What Dreams Were Made Of
177.08 €
Buy
LEIBNIZ. Las matemáticas del mejor mundo posible
32.38 €
Buy
Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace
42.17 €
Buy
Racism, Culture, Markets
291.81 €
Buy
Value of Systems and Complexity Sciences for Healthcare
102.71 € -7 %
Buy
Applications of Chlorophyll Fluorescene
153.97 € -7 %
Buy
Broadtube Music Mag - Volume 28: Music Mag 28
9.78 € -6 %
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 Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

51.55 €

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