Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (1st ed. 2021) (Communications in Computer and Information Science #1301)

By: Antonio Cerone and Markus Roggenbach

Sign Up Now! Already a Member? Log In
You must be logged into Bookshare to access this title. Learn about membership options, or view our freely available titles.

Synopsis: 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.

Book Quality:: Publisher Quality
ISBN-13:: 9783030713744
Related ISBNs:: 9783030713737
Publisher:: Springer International Publishing
Date of Addition:: 04/16/21
Copyrighted By:: Springer
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Technology, Education, Mathematics and Statistics, Philosophy
Submitted By:: Bookshare Staff
Usage Restrictions:: This is a copyrighted book.
Edited by:: Antonio Cerone
Edited by:: Markus Roggenbach