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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Integrated Formal Methods Carlo A. Furia
Libristo code: 41049828
Publishers Springer, August 2018
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Fo... Full description
? points 145 b
60.15 €
In stock Immediate digital delivery

You might also be interested in

Through the Looking Glass Richard Idemon / Book Paperback
common.buy 23.89 €
New Theoretical and Practical French Grammar Charles Jean Delille / Book Hardback
common.buy 39.29 €
Polygeneration Systems Francesco Calise / Book Paperback
common.buy 227.88 €
Intercept Gordon Corera / E-book Adobe ePub DRM
common.buy 4.35 €
Genesis Wave Book 1 Tim Russ / Audiobook MP3
common.buy 15.08 €

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

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 Carlo A. Furia, Kirsten Winter
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2018
EAN 9783319989389
Libristo code 41049828
Publishers Springer

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
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

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?