Cantitate/Preț
Produs

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: Lecture Notes in Computer Science


en Limba Engleză Paperback – 9 oct 2024
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 46175 lei

Preț vechi: 57719 lei
-20% Nou

Puncte Express: 693

Preț estimativ în valută:
8171 9581$ 7176£

Carte indisponibilă temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031737084
ISBN-10: 3031737083
Pagini: 428
Dimensiuni: 155 x 235 mm
Editura: Springer International Publishing AG
Seria Lecture Notes in Computer Science