Cantitate/Preț
Produs
Total produse
Vezi coșul
Computer Aided Verification de Arie Gurfinkel

Computer Aided Verification: Lecture Notes in Computer Science, cartea 14683

Editat de Arie Gurfinkel, Vijay Ganesh
en Limba Engleză Paperback – 26 iul 2024
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31050 lei

Preț vechi: 38812 lei
-20%

Puncte Express: 466
Paperback (3) de la 30272 lei

Carte tipărită la comandă

Livrare economică 09-23 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031656323
ISBN-10: 3031656326
Pagini: 608
Ilustrații: Approx. 500 p.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.91 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Textul de pe ultima copertă

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.
The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

Caracteristici

This book is open access, which means that you have free and unlimited access