Code: 02975401

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer International Publishing AG
SKU: 02975401
Price: 82.13 EUR
Availability: InStock
Author: Erika Ábrahám
ISBN: 9783319336923

by Erika Ábrahám, Marieke Huisman

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

82.13 €

RRP: 88.98 €

You save 6.86 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Poutine, maître du jeu ?
18.13 € -13 %
Buy
Lebedele sălbatice - The Wild Swans (romană - engleză)
12.79 € -2 %
Buy
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua
20.45 € -9 %
Buy
14 Minutes
12.39 € -26 %
Buy
USA
21.36 €
Buy
Advances in Discrete Applied Mathematics and Graph Theory
53.20 € -18 %
Buy
History of the Fishes of the British Islands
23.17 € -14 %
Buy
Rosso Sangue - Le cinéma italien des années de plomb
29.72 €
Buy
lettera che cade. Jacques Lacan e l'uomo come scarto
27.20 €
Buy
Entre chiens et loups
18.03 €
Buy
Du matériau à l'architecture
38.89 €
Buy
Submissionary
14 € -7 %
Buy
A Soldier's Daughter (Illustrated)
6.34 € -7 %
Buy
Atrás Da Muralha
14.20 €
Buy
Housekeepers Handy Book
18.03 € -9 %
Buy
Global Legal Pluralism
65.20 €
Buy
AMETS POLITAK IZAN, MAITEA
9.67 €
Buy
Wild
14.81 € -10 %
Buy
Ameno Black: the Lynching of Arliss Black
15.61 € -2 %
Buy
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie
24.98 € -11 %
Buy
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F
30.83 € -2 %
Buy
Return to Social Justice
121.84 € -4 %
Buy
Children's songs & nursery rhymes for easy piano. Vol 3.
14 € -6 %
Buy
Family Maps of DeKalb County, Alabama, Deluxe Edition
33.55 € -6 %
Buy
Bleiben Sie im Zweifelsfall moeglichst nuchtern!
13.49 € -10 %
Buy
International Law Reports
206.59 €
Buy
Bettine von Arnim: Liedkompositionen
15.41 €
Buy
Preparing for Blockade 1885-1914
78.50 €
Buy
Information Processing in Medical Imaging
102.59 € -7 %
Buy
Inhuman Relations
18.33 € -6 %
Buy
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition
15.61 € -2 %
Buy
Of Time and Tide
12.29 € -18 %
Buy
Isagoge in Die Phanomenologische Apophantik
153.28 € -7 %
Buy
Jack Wilshere - Arsenal DNA
14.81 € -1 %
Buy
Championship DNA
18.33 € -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 199 loyalty points

Book synopsis

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

82.13 €

Full title: Integrated Formal Methods
Subtitle: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Author: Erika Ábrahám, Marieke Huisman
Language: English
Binding: Paperback
Number of pages: 538
EAN: 9783319336923
ISBN: 3319336924
ID: 02975401
Publisher: Springer International Publishing AG
Weight: 8248 g
Dimensions: 235 × 155 × 29 mm
Date of publishing: 24. May 2016