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
Preț estimativ în valută:
61.65€ • 71.25$ • 53.21£
61.65€ • 71.25$ • 53.21£
Carte tipărită la comandă
Livrare economică 25 aprilie-09 mai
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.