Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods - Fun for Everybody

Name: Formal Methods - Fun for Everybody
Brand: Springer Nature Switzerland AG
SKU: 35425756
Price: 20156 HUF
Availability: InStock
Author: Antonio Cerone
ISBN: 9783030713737

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

Antonio Cerone

Language

English

Book Paperback

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

Libristo code: 35425756

136 b

20 156 Ft

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

Paperback

22 056 Ft

El Libro Negro de los Secretos de Entrenamiento: Edicion Mejorada Christian Thibaudeau

Paperback

12 751 Ft

Saolin: Price Iz Manastira Vang Hongjun

Paperback

6 113 Ft

Athénée Palace R. G. (Rosie Gräfin ) Waldeck

Paperback

9 072 Ft

Le business model freemium s'adapte-t-il ? la vidéo ? la demande ? Louis Courtine

Paperback

21 672 Ft

tiptoi® Abenteuer Großwerden: Liv geht aufs Töpfchen Sandra Grimm

Board book

4 629 Ft

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.