Foundations of Software Science and Computation Structures
Editat de Patricia Bouyer, Lutz Schröderen Limba Engleză Paperback – 29 mar 2022
The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Preț: 303.44 lei
Preț vechi: 379.30 lei
-20% Nou
Puncte Express: 455
Preț estimativ în valută:
53.69€ • 62.64$ • 46.94£
53.69€ • 62.64$ • 46.94£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030992521
ISBN-10: 3030992527
Pagini: 488
Ilustrații: XVI, 471 p. 69 illus.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3030992527
Pagini: 488
Ilustrații: XVI, 471 p. 69 illus.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland
Textul de pe ultima copertă
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Caracteristici
This book is open access, which means that you have free and unlimited access