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 5.49 € GLS courier 10.49 €
phone Contact phoneHow to shop

Integrated Formal Methods

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Brijesh Dongol
Libristo code: 33397354
Publishers Springer Nature Switzerland AG, November 2020
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo... Full description
? points 125 b
51.26 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Jamais rien ne meurt Viet Thanh Nguyen / Book Paperback
common.buy 11.83 €
Lang Lang: The Disney Book DG / Audio Audio CD
common.buy 14.04 €
Tendenze recenti nell'ingegneria e nella tecnologia Jimmy Singla / Book Paperback
common.buy 38.92 €
Fabrique littéraire de lieux autres Toma / Book Paperback
common.buy 17.85 €
Ein Handbuch über Straßen für Nicht-Ingenieure Shaibu Bawa / Book Paperback
common.buy 40.62 €
Ardic Kutulu Set / Book Paperback
common.buy 29.79 €
Royaume d`Europe Achim Roder / Book Paperback
common.buy 15.14 €
La educación infantil que queremos GARCIA FERNANDEZ / Book Paperback
common.buy 24.97 €
Coming soon
La folle histoire du PSG - Nouvelle Edition DEGORRE-D Book Paperback
common.buy 25.07 €
Jamais plus Colleen Hoover / Book Paperback
common.buy 21.46 €
Z dans le bordel ! Israël Book Hardback
common.buy 22.66 €
Le sang et la pierre - ou la quete d'Alberic, il y a mille ans en Aquitaine Aubard Book Paperback
common.buy 10.12 €
Bewegtes Lernen! Mathe Heike Beckmann / Book Sheet
common.buy 25.17 €
Kleine Schriften Jacob Baechtold / Book Paperback
common.buy 25.57 €
Redeangst überwinden Uwe Hampel / Book Paperback
common.buy 17.85 €
Kindeswohl und Elternrecht. Eine Untersuchung am Beispiel des Sozialen Frühwarnsystems Franziska Preuß / Book Paperback
common.buy 22.26 €
State-of-the-Art und Bedarf von Business Intelligence Serdar Danis / Book Paperback
common.buy 42.43 €

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
Language English
Binding Book - Paperback
Date of issue 2020
Number of pages 461
EAN 9783030634605
ISBN 3030634604
Libristo code 33397354
Publishers Springer Nature Switzerland AG
Weight 724
Dimensions 155 x 235 x 26

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 science > Artificial intelligence > Speech recognition
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer hardware
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

IBS International Summerschool on Computer Science, Computer Engineering and Education Technology 2017 Wolfram Hardt / Book Paperback
common.buy 15.24 €
The Mongol Archive in Late Medieval France – Texts, Objects, Encounters, 1221–1422 Mark Cruse / Book Hardback
common.buy 78.75 €
Nova Knows Numbers / Nova Sabe Los Números Patricia Bellamy-Mathis / Book Hardback
common.buy 28.08 €
Secret Guide To Dark Psychology Emory Green / Book Hardback
common.buy 58.78 €
Quantum AI and its Applications in Blockchain Technology Nitin Mittal / Book Hardback
common.buy 261.04 €
Unforsaken John Mckenna / Book Paperback
common.buy 19.65 €
The Modern Treatment of Syphilitic Diseases: Both Primary and Secondary, Comprising an Account of T Langston Parker / Book Hardback
common.buy 30.29 €
Forbidden kingdom / Video DVD
common.buy 6.41 €
Divide and Conquer! Puzzles PUZZLE PULSE / Book Paperback
common.buy 13.03 €
Woman in Battle Loreta Janeta Velazquez / Book Paperback
common.buy 49.15 €
Thinking Like a Route – Counter–geographies of Informal Migration in the Balkans Claudio Minca / Book Hardback
common.buy 130.72 €
The Early History Of Egypt Samuel Sharpe / Book Hardback
common.buy 40.92 €
Sermons Preached Before the University of Oxford, in the Year 1784, at the Lecture Founded by the REV. John Bampton. to Which Is Now Added, a Sermon o White / Book Hardback
common.buy 41.83 €
From Imagination to Reality Vedat Yuecel / Book Hardback
common.buy 16.85 €
Novice Trudi Canavan / E-book Adobe ePub DRM
common.buy 6.51 €
Metamorphosis: A Grove Hollow Novel NICOLE SHELBY / Book Hardback
common.buy 16.85 €
Discrete-Event System Simulation Jerry Banks & John Carson / Book Paperback
common.buy 97.01 €
Politics of Evil Clifton Crais / Book Hardback
common.buy 137.94 €

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?