Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Nadia Polikarpova
Libristo code: 16803868
Publishers Springer International Publishing AG, August 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Full description
? points 132 b
54.42 €
106.43  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Book Paperback
common.buy 29.74 € 58.17 лв
LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Book Paperback
common.buy 38.02 € 74.36 лв
La sagesse divine des animaux Stacey Demarco / Book Hardback
common.buy 31.91 € 62.42 лв
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Book Paperback
common.buy 20.27 € 39.65 лв
Au Bord Du Lac (1852) Emile Souvestre / Book Paperback
common.buy 29.74 € 58.17 лв
Lumieres Et Romantisme M. Castillo / Book Paperback
common.buy 29.59 € 57.86 лв
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique / Book Paperback
common.buy 21.98 € 42.99 лв
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Book Paperback
common.buy 27.46 € 53.72 лв
Leonardo Martin Kemp / Book Paperback
common.buy 15.41 € 30.14 лв
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio Audio CD
common.buy 23.53 € 46.03 лв
El silenci de les cases MARIA SANPLA / Book Paperback
common.buy 15.82 € 30.95 лв

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..

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Integrated Formal Methods
Author Nadia Polikarpova, Steve Schneider
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 438
EAN 9783319668444
ISBN 3319668447
Libristo code 16803868
Publishers Springer International Publishing AG
Weight 6905
Dimensions 155 x 235 x 26

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer networking & communications
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Wonder Island Boys Roger Thompson Finlay / Book Paperback
common.buy 17.12 € 33.48 лв
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Book Paperback
common.buy 15.10 € 29.53 лв
Affordable
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Printed items Cards
common.buy 34.97 € 68.39 лв
Creatures of Old Prasad / Audiobook MP3
common.buy 4.24 € 8.29 лв
Capybara Zen Helen H. Wu / Book Paperback
common.buy 7.75 € 15.17 лв
Undying Destiny Jessica Lee / Audiobook MP3
common.buy 21.31 € 41.68 лв
Taking A Long Look Vivian Gornick / Book Hardback
common.buy 22.65 € 44.31 лв
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Book Paperback
common.buy 30.72 € 60.09 лв
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Book Paperback
common.buy 242.26 € 473.81 лв
The Itsy Bitsy Spider Flowerpot Press / Book Board book
common.buy 9.62 € 18.81 лв
Illustrated Guide to Chemistry JEFF GRANT / Book Paperback
common.buy 20.33 € 39.75 лв
The Case of The Stolen Case Carl Brookins / Book Paperback
common.buy 13.86 € 27.11 лв
Supremacy of Christ Richard McCarrell / Book Paperback
common.buy 8.38 € 16.38 лв
Let Me Tell You A Story Rob Parsons / Book Hardback
common.buy 16.91 € 33.08 лв
Writing for Interaction Linda Newman Lior / Book Paperback
common.buy 45.16 € 88.32 лв
Coming soon
Creating Belfast Don McCloy / Book Paperback
common.buy 22.60 € 44.21 лв
Euro Crash Brendan Brown / Book Hardback
common.buy 119.75 € 234.22 лв
Community Identity Sebastian Kim / Book Paperback
common.buy 110.49 € 216.11 лв
Cloud Computing for Teaching and Learning Lee Chao / Book Hardback
common.buy 191.61 € 374.76 лв
British Culture of the Post-War Alastair Davies / Book Paperback
common.buy 64.82 € 126.77 лв
Parenting with Presence Susan Stiffelman / Book Paperback
common.buy 13.55 € 26.50 лв
Real-Life Distance Education Al P. Mizell / Book Hardback
common.buy 126.22 € 246.87 лв
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Book Hardback
common.buy 12.20 € 23.87 лв
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Book Paperback
common.buy 30.88 € 60.39 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?