Home

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings

Indigo

Loading Inventory...
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings

By None

Current price: $72.95
Visit retailer's website
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings

By None

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings

Current price: $72.95
Loading Inventory...

Size: Paperback

Visit retailer's website
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Indigo
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.
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.

You May Also Like

Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Loading Inventory...
Loading Inventory...
None
Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Current price: $72.95
From Indigo Books
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Loading Inventory...
Loading Inventory...
None
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Current price: $80.50
From Indigo Books
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Loading Inventory...
Loading Inventory...
None
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Current price: $71.50
From Indigo Books
Knowledge Management Organisations: 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, Proceedings
Loading Inventory...
Loading Inventory...
None
Knowledge Management Organisations: 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, Proceedings
Current price: $116.09
Original price: $145.12
From Indigo Books
Distributed Artificial Intelligence: Second International Conference, Dai 2020, Nanjing, China, October 24-27, Proceedings
Loading Inventory...
Loading Inventory...
None
Distributed Artificial Intelligence: Second International Conference, Dai 2020, Nanjing, China, October 24-27, Proceedings
Current price: $64.99
Original price: $80.62
From Indigo Books
ACADIA 2022 Hybrids and Haecceities: Proceedings of the 42nd Annual Conference of the Association for Computer Aided Design in Architecture
Loading Inventory...
Loading Inventory...
None
ACADIA 2022 Hybrids and Haecceities: Proceedings of the 42nd Annual Conference of the Association for Computer Aided Design in Architecture
Current price: $102.14
From Indigo Books
Computer-Aided Design of User Interfaces IV: Proceedings the Fifth International Conference on CADUI '2004
Loading Inventory...
Loading Inventory...
None
Computer-Aided Design of User Interfaces IV: Proceedings the Fifth International Conference on CADUI '2004
Current price: $321.50
From Indigo Books
Cryptology and Network Security: 23rd International Conference, CANS 2024, Cambridge, UK, September 24-27, Proceedings, Part II
Loading Inventory...
Loading Inventory...
None
Cryptology and Network Security: 23rd International Conference, CANS 2024, Cambridge, UK, September 24-27, Proceedings, Part II
Current price: $83.89
Original price: $104.81
From Indigo Books
Robotics, Computer Vision and Intelligent Systems: 4th International Conference, ROBOVIS 2024, Rome, Italy, February 25-27, 2024, Proceedings
Loading Inventory...
Loading Inventory...
None
Robotics, Computer Vision and Intelligent Systems: 4th International Conference, ROBOVIS 2024, Rome, Italy, February 25-27, 2024, Proceedings
Current price: $72.95
From Indigo Books
Speech and Computer: 23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, Proceedings
Loading Inventory...
Loading Inventory...
None
Speech and Computer: 23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, Proceedings
Current price: $141.99
Original price: $177.37
From Indigo Books
Medical Image Computing and Computer Assisted Intervention - MICCAI 2024: 27th International Conference, Marrakesh, Morocco, October 6-10, 2024, Proceedings, Part IV
Loading Inventory...
Loading Inventory...
None
Medical Image Computing and Computer Assisted Intervention - MICCAI 2024: 27th International Conference, Marrakesh, Morocco, October 6-10, 2024, Proceedings, Part IV
Current price: $141.89
Original price: $177.37
From Indigo Books

Keep Shopping

On Sale.webp

On Sale

New In.webp

New In

Man with hat.webp

Men

Woman and Palm Trees.webp

Women

Baby and kids.webp

Baby and Kids

Beauty Products.webp

Beauty

Jewellery and Book.webp

Jewelry

More About Indigo at Erin Mills Town Centre

The largest book retailer in Canada also offers toys, music, home décor, gifts and lifestyle products. What's Inside...Books, Magazines, CD’s and DVD’s, Toys and Gifts, Home Accents, Electronics, Baby’s and Children’s Section, Bath and Body, Kitchen and Bedroom, Stationary Located outside in the exterior plaza.

5015 Glen Erin Dr, Mississauga, ON L5M 0R7, Canada

Store Info

Find Indigo at Erin Mills Town Centre in Mississauga ON

Visit Indigo at Erin Mills Town Centre in Mississauga ON
Powered by Adeptmind