Software Engineering and Formal Methods
Editat de Bernd-Holger Schlingloff, Ming Chaien Limba Engleză Paperback – 21 sep 2022
The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.
Preț: 392.33 lei
Preț vechi: 490.41 lei
-20%
Puncte Express: 588
Carte disponibilă
Livrare economică 06-20 iulie
Livrare express 19-25 iunie pentru 38.15 lei
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: 9783031171079
ISBN-10: 3031171071
Pagini: 388
Ilustrații: XVII, 369 p. 384 illus., 75 illus. in color.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.59 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3031171071
Pagini: 388
Ilustrații: XVII, 369 p. 384 illus., 75 illus. in color.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.59 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland