HOME Popular Books Popular Audioooks Popular Textbooks Popular Freebooks More Genres

Book

Audiobook

Genres

Formal Methods – Fun for Everybody

By Antonio Cerone & Markus Roggenbach

Release : 2021-03-10

Genre : Education, Books, Professional & Technical, Computers & Internet, Computers

Kind : ebook

(0 ratings)
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.

Formal Methods – Fun for Everybody

By Antonio Cerone & Markus Roggenbach

Release : 2021-03-10

Genre : Education, Books, Professional & Technical, Computers & Internet, Computers

Kind : ebook

(0 ratings)
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.

advertisement

Access e-books

More By Antonio Cerone & Markus Roggenbach

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Formal Methods. FM 2019 International Workshops

Formal Methods for an Informal World

Theoretical Aspects of Computing – ICTAC 2021

Formal Methods for Software Engineering

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Formal Methods. FM 2019 International Workshops

Formal Methods – Fun for Everybody