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 19 990 Ft
DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Integrated Formal Methods Brijesh Dongol
Libristo code: 41009969
Publishers Springer, November 2020
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo... Full description
? points 152 b
22 629 Ft
In stock Immediate digital delivery

Customers also purchased

Erzahlungen eines rheinischen Chronisten M LLER VON K NIGSWIN / Book Paperback
common.buy 10 916 Ft
Y...erase otra vez ROCIO ANTON / Book Hardback
common.buy 4 235 Ft
Les dehors trompeurs Louis De Boissy / Book Paperback
common.buy 3 850 Ft
Les disparues du lac de menet PHILIPPE / Book Hardback
common.buy 7 862 Ft
Sinfonie 5 B-Dur op.55/Sinfonie 7 F-Dur op.77 Tadaaki Otaka / Audio Audio CD
common.buy 8 979 Ft
carpe noctem. Life is a Story - story.one Kaira Solheim / Book Hardback
common.buy 6 400 Ft
MÃ(c)moire pour moi, par moi, Louis de Brancas, ... / Book Hardback
common.buy 12 246 Ft
La bible du fou Don Nsiala / Book Paperback
common.buy 90 796 Ft
Star Wars Socks Logo 38-45 Stationery items Stationery items
common.buy 2 758 Ft
Get it together. The Undead Detective Agency. Ediz. italiana Shelby Rhodes / Book Paperback
common.buy 6 296 Ft

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

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 Brijesh Dongol, Elena Troubitsyna
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2020
EAN 9783030634612
Libristo code 41009969
Publishers Springer

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Artificial intelligence > Natural language & machine translation
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Systems analysis & 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

Inverse Problems of Mathematical Physics Mikhail M. Lavrent'Ev / Book Hardback
common.buy 84 950 Ft
Midnight Flyboys Bruce Henderson / Audiobook MP3
common.buy 9 488 Ft
Reparative Citizenship for Sephardi Descendants Rina Benmayor / Book Hardback
common.buy 58 561 Ft
Field Guide to Amphibians and Reptiles of Illinois John A. Crawford / Book Paperback
common.buy 9 414 Ft
Mistress Of The Djinn And Other Stories Geoff St Reynard / Book Paperback
common.buy 5 011 Ft
Holidays in Poem for the Heart of a Child Sharon Gardner / Book Paperback
common.buy 4 176 Ft
Aryaveer - The Guardian of Dakshin Durgh Mary John Williams / Book Paperback
common.buy 4 581 Ft
The Two Koreas and the Politics of Global Sport Brian Bridges / Book Hardback
common.buy 66 527 Ft
The Countess Of Albany Vernon Lee / Book Paperback
common.buy 9 246 Ft
Architecture of Productive Learning Networks Lucila Carvalho & Peter Goodyear / Book Paperback
common.buy 26 567 Ft

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?