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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Erika Ábrahám
Libristo code: 02975401
Publishers Springer International Publishing AG, May 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Full description
? points 199 b
82.43 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Book Paperback
common.buy 13.54 €
Entre chiens et loups Méndez / Book Paperback
common.buy 18.20 €
New
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Book Paperback
common.buy 29.83 €
Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-book Adobe ePub DRM
common.buy 65.24 €
Atrás Da Muralha / Book Paperback
common.buy 14.86 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-book Adobe ePub DRM
common.buy 16.48 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Book Paperback
common.buy 25.08 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Book Paperback
common.buy 27.30 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Book Hardback
common.buy 20.52 €
Du matériau à l'architecture László Moholy-Nagy / Book Paperback
common.buy 39.14 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Book Paperback
common.buy 153.85 €
AMETS POLITAK IZAN, MAITEA AA VV / Book Hardback
common.buy 9.70 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Book Paperback
common.buy 13.54 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Book Paperback
common.buy 15.57 €

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

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 Erika Ábrahám, Marieke Huisman
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 538
EAN 9783319336923
ISBN 3319336924
Libristo code 02975401
Publishers Springer International Publishing AG
Weight 8248
Dimensions 155 x 235 x 29

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Book Hardback
common.buy 56.64 €
Inhuman Relations Scott Becker / Book Paperback
common.buy 19.31 €
Championship DNA Gideon Mulinge Mwololo / Book Paperback
common.buy 19.31 €
Return to Social Justice Jessica Urwin / Book Paperback
common.buy 122.29 €
A Soldier's Daughter (Illustrated) G. A. Henty / Book Paperback
common.buy 6.77 €
History of the Fishes of the British Islands Jonathan Couch / Book Paperback
common.buy 23.26 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Book Paperback
common.buy 35.50 €
Submissionary Sherryle Kiser Jackson / Book Paperback
common.buy 14.86 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Book Hardback
common.buy 32.56 €
Preparing for Blockade 1885-1914 COBB / Book Paperback
common.buy 82.53 €
Gerrit Smith Octavius Brooks Frothingham / Book Hardback
common.buy 60.79 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Book Paperback
common.buy 16.48 €
Information Processing in Medical Imaging Alan C. F. Colchester / Book Paperback
common.buy 102.97 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Book Hardback
common.buy 15.57 €
Global Legal Pluralism Paul Schiff Berman / Book Paperback
common.buy 68.68 €
Housekeepers Handy Book Lucia Baxter / Book Paperback
common.buy 18.10 €
International Law Reports E. LauterpachtC. J. Greenwood / Book Hardback
common.buy 223.95 €

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?