Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Häftad, Engelska, 2019

AvMaurice H. ter Beek,Annabelle McIver,José N. Oliveira,Jose N. Oliveira,Maurice H. Ter Beek

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 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.

Produktinformation

Utgivningsdatum2019-09-15
Mått155 x 235 x 43 mm
Vikt1 183 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor774
FörlagSpringer Nature Switzerland AG
ISBN9783030309411

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

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