Code: 16803868

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer International Publishing AG
SKU: 16803868
Price: 51.68 EUR
Availability: InStock
Author: Nadia Polikarpova
ISBN: 9783319668444

by Nadia Polikarpova, Steve Schneider

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

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Lout of Count's Family (Novel) Vol. 1
14.46 € -29 %
Buy
Capybara Zen
6.56 € -24 %
Buy
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition
34.99 €
Buy
Parenting with Presence
12.74 € -24 %
Buy
The Itsy Bitsy Spider
8.69 € -8 %
Buy
Euro Crash
109.44 €
Buy
La sagesse divine des animaux
30.94 €
Buy
Divertimento für Tenorsaxaphon und kleines Ensembl
22.55 €
Buy
Introduction to Nuclear Waste Immobilisation
221.32 €
Buy
LE MYSTERE DE LA MAISON AUX TROIS ORMES
36.81 €
Buy
The Case of The Stolen Case
13.14 € -7 %
Buy
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina
26.09 € -6 %
Buy
British Culture of the Post-War
58.96 €
Buy
Creating Belfast
21.23 € -25 %
Pre-order
Cloud Computing for Teaching and Learning
182.38 €
Buy
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli
28.31 € -1 %
Buy
Leonardo
14.76 €
Buy
Real-Life Distance Education
120.87 €
Buy
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria
21.03 €
Buy
Lumieres Et Romantisme
28.72 €
Buy
Writing for Interaction
44.09 €
Buy
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898)
19.31 € -2 %
Buy
El silenci de les cases
14.96 € -10 %
Buy
The Black Doctor: And Other Tales of Terror and Mystery (1919)
29.22 € -1 %
Buy
Wonder Island Boys
16.18 € -14 %
Buy
Taking A Long Look
19.61 € -24 %
Buy
Let Me Tell You A Story
17.49 € -5 %
Buy
Au Bord Du Lac (1852)
28.31 € -1 %
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 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

Book details

Book category Books in English Computing & information technology Computer programming / software development Program concepts / learning to program

51.68 €

Full title: Integrated Formal Methods
Subtitle: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author: Nadia Polikarpova, Steve Schneider
Language: English
Binding: Paperback
Number of pages: 438
EAN: 9783319668444
ISBN: 3319668447
ID: 16803868
Publisher: Springer International Publishing AG
Weight: 6905 g
Dimensions: 235 × 155 × 26 mm
Date of publishing: 27. August 2017