Formal Methods - Fun for Everybody / Communications in Computer and Information Science Bd.1301 (PDF)

Name: Formal Methods - Fun for Everybody / Communications in Computer and Information Science Bd.1301
Brand: Springer International Publishing
SKU: 139146321
Price: 53.49 EUR
Availability: OnlineOnly

First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Formal Methods - Fun for Everybody / Communications in Computer and Information Science Bd.1301".

Merken

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

Mehr zum Inhalt Video

eBook (pdf) 53.49 €

Buch (Kartoniert) 53.49 €

sofort als Download lieferbar

Bestellnummer: 139146321

eBook (pdf) 53.49 €

Download bestellen

Verschenken

26 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Formal Methods - Fun for Everybody / Communications in Computer and Information Science Bd.1301 (PDF)“

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.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

2021, 1st ed. 2021, 227 Seiten, Englisch
Herausgegeben: Antonio Cerone, Markus Roggenbach
Verlag: Springer International Publishing
ISBN-10: 3030713741
ISBN-13: 9783030713744
Erscheinungsdatum: 10.03.2021

Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Größe: 19 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Kommentar zu "Formal Methods - Fun for Everybody / Communications in Computer and Information Science Bd.1301"

Schreiben Sie einen Kommentar zu "Formal Methods - Fun for Everybody / Communications in Computer and Information Science Bd.1301".

Wie funktionieren Bewertungen?

0 Gebrauchte Artikel zu „Formal Methods - Fun for Everybody / Communications in Computer and Information Science Bd.1301“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating