Cantitate/Preț
Produs

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II: Lecture Notes in Computer Science, cartea 12233

Editat de 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
en Limba Engleză Paperback – 11 aug 2020
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 33767 lei  6-8 săpt.
  Springer International Publishing – 13 aug 2020 33767 lei  6-8 săpt.
  Springer International Publishing – 11 aug 2020 34010 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 34010 lei

Preț vechi: 42511 lei
-20% Nou

Puncte Express: 510

Preț estimativ în valută:
6509 6761$ 5407£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030549961
ISBN-10: 3030549968
Pagini: 575
Ilustrații: XVIII, 575 p. 605 illus., 85 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.82 kg
Ediția:1st ed. 2020
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

HFM 2019: First History of Formal Methods Workshop.- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains.- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology.- Overture 2019: 17th Overture Workshop.- Refine 2019: 19th Refinement Workshop.- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata.- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology.- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.