Software Engineering and Formal Methods
Editat de Frank de Boer, Antonio Ceroneen Limba Engleză Paperback – 12 sep 2020
The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.
The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Preț: 348.60 lei
Preț vechi: 435.74 lei
-20%
Puncte Express: 523
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783030587673
ISBN-10: 3030587673
Pagini: 340
Ilustrații: XIV, 325 p. 639 illus., 63 illus. in color.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:1st edition 2020
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3030587673
Pagini: 340
Ilustrații: XIV, 325 p. 639 illus., 63 illus. in color.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:1st edition 2020
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
Testing.- Formal verification.- Program analysis.- Runtime verification.- Meta-programming and software development.- Evolution.