Hoppa till sidans huvudinnehåll

Del i serien Communications in Computer and Information Science

Formal Methods – Fun for Everybody

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

Häftad, Engelska, 2021

AvAntonio Cerone,Markus Roggenbach

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Del 12233

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

Häftad

719 kr