Del 11758 - Lecture Notes in Computer Science

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Häftad, Engelska, 2019

AvBrijesh Dongol,Luigia Petre,Graeme Smith

709 kr

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

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions.

Produktinformation

Utgivningsdatum2019-10-16
Mått155 x 235 x 15 mm
Vikt406 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor245
FörlagSpringer Nature Switzerland AG
ISBN9783030324407

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT
Artificiell intelligens inom Data och IT

Du kanske också är intresserad av

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

Häftad

709 kr

From Action Systems to Distributed Systems

Luigia Petre, Emil Sekerinski

Inbunden

3 119 kr

Dependability and Computer Engineering

Luigia Petre, Kaisa Sere, Elena Troubitsyna

Inbunden

3 139 kr

Integrated Formal Methods

Einar Broch Johnsen, Luigia Petre

Häftad

709 kr

Del 12232

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, Jose N. Oliveira, Jose Campos