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

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (3) 30272 lei  6-8 săpt.
  Springer – 25 iul 2024 30272 lei  6-8 săpt.
  Springer – 26 iul 2024 30660 lei  6-8 săpt.
  Springer – 26 iul 2024 31050 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 31050 lei

Preț vechi: 38812 lei
-20%

Puncte Express: 466
Preț estimativ în valută:
5491€ • 6296$ • 4745£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai

 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