Menu
Află starea comenzii
Contactați-ne
Carte Formal Methods. FM 2019 International Workshops José Campos

Formal Methods. FM 2019 International Workshops

Autor: José Campos, Antonio Cerone, Luis Couto, David Delmas, Brijesh Dongol, Marie Farrell, Laure Gonnord, Riccardo Guidotti, Martin Kutrib, Matt Luckcuck, Diego Marmsoler, Pedro Monteiro, Nelma Moreira, Jo
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
262.82 lei
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposiu...

Informații despre carte

Autor
José Campos, Antonio Cerone, Luis Couto, David Delmas, Brijesh Dongol, Marie Farrell, Laure Gonnord, Riccardo Guidotti, Martin Kutrib, Matt Luckcuck, Diego Marmsoler, Pedro Monteiro, Nelma Moreira, Jo
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2020
Pagini
575
EAN
9783030549961
ISBN
3030549968
Enbook ID
33072031
Editura
Springer Nature Switzerland AG
Greutate
902
Dimensiuni
155 x 235 x 32

Descriere completă

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.

S-ar putea să te intereseze

Explorations in Art and Technology

Linda Candy
878.97 lei

The Monumental City V2: Its Past History And Present Resources

George W. Howard
204.16 lei

Stay Out Of The Kitchen Play Pickleball: 120 Pages I 6x9 I Music Sheet I Funny Pickleball Gifts for Sport Enthusiasts

Funny Notebooks
45.63 lei

21 Mistakes Real Estate Brokers Make & How to Avoid Them

Corky Hyatt
122.57 lei

Restoring the Ancient Paths Revised: Jew and Gentile-Two Destinies, Inexplicably Linked

Felix Halpern
88.34 lei

Read Write Inc. Fresh Start: Anthology 2 - Pack of 5

Gill Munton
563.53 lei

Ultrasoft Bible-NABRE-Standard

Saint Benedict Press
213.45 lei

History of the Temple of Jerusalem

Jalal al-Dinh al-SuyutiJames Reynolds
326.54 lei

New Inside Out Elementary Digital Single User

Sue Kay
289.79 lei

Clienții care au cumpărat această carte au mai cumpărat și

Agapornis

Dirk van den Abeele
268.48 lei

El Andaluz. Der Dialekt und die Schwierigkeiten seiner Anerkennung

Anne Lipp
87.03 lei

Die Geschichte der Daniel-Auslegung in Judentum, Christentum und Islam

Katharina Bracht
807.88 lei

Pudel - 1.000 Teile (Puzzle)

160.24 lei

Ausgeliefert

Genevi?ve Castrée
85.62 lei

Manual de soluciones de laboratorio

GABB
25.84 lei

GOBERNABILIDAD CRISIS Y CAMBIO-ALCANTARA

ALCANTARA SAEZ
56.74 lei

Ulysse

Alexandra PICHARD
112.47 lei

Concours Summer Love - La lagune

127.42 lei