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.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods - Fun for Everybody

First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Formal Methods - Fun for Everybody Antonio Cerone
Libristo code: 35425756
Publishers Springer Nature Switzerland AG, March 2021
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal... Full description
? points 125 b
51.54 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Zur Theorie des Opfers Richard Schenk / Book Paperback
common.buy 61.23 €
El Libro Negro de los Secretos de Entrenamiento: Edicion Mejorada Christian Thibaudeau / Book Paperback
common.buy 32.68 €
Saolin: Price Iz Manastira Vang Hongjun / Book Paperback
common.buy 15.73 €
Athénée Palace R. G. (Rosie Gräfin ) Waldeck / Book Paperback
common.buy 25.21 €
Le business model freemium s'adapte-t-il ? la vidéo ? la demande ? Louis Courtine / Book Paperback
common.buy 54.97 €
Top Affordable
tiptoi® Abenteuer Großwerden: Liv geht aufs Töpfchen Sandra Grimm / Book Board book
common.buy 12.80 €

This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.

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 Formal Methods - Fun for Everybody
Author Antonio Cerone
Language English
Binding Book - Paperback
Date of issue 2021
Number of pages 227
EAN 9783030713737
ISBN 3030713733
Libristo code 35425756
Publishers Springer Nature Switzerland AG
Weight 454
Dimensions 155 x 235 x 14

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Society & Social Sciences > Education > Educational equipment & technology, computer-aided learning (CAL)
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
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

Hard To Be A God Arkady Strugatsky / Book Paperback
common.buy 11.79 €
Good-Bye, Mary Lou Scott Sammis / Book Paperback
common.buy 19.26 €
From Eden with Love Ray Hawkins / Book Paperback
common.buy 7.56 €
Bronco Charlie and the Pony Express Marlene Targ Brill / Book Paperback
common.buy 8.67 €
Little Pilgrim Margaret Oliphant / Book Paperback
common.buy 15.22 €
Party of Four Please! Workbook Ariel J Taylor Ed D / Book Paperback
common.buy 14.72 €
Nevermind Richard Seltzer / Book Paperback
common.buy 16.84 €
Chaucer Criticism: an Anthology Richard J. Schoeck / Book Hardback
common.buy 34.39 €
Touch Richard Kearney / E-book Adobe ePub DRM
common.buy 21.78 €
The war myth in United States history C. H. Hamlin / Book Paperback
common.buy 12.20 €

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?