Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Krishna Shankaranarayanan (Redaktør) Sriram Sankaranarayanan (Redaktør) Ashutosh Trivedi (Redaktør)

Gi vurdering

750,-

E-bok

Tilgjengelig umiddelbart etter kjøp

Detaljer Oppdag mer

Detaljer

Forlag: Springer
Språk: Engelsk
ISBN: 9783031827037
Utgivelsesår: 2025
Serie: Lecture Notes in Computer Science
Format: Kopibeskyttet EPUB (Må leses i Adobe Digital Editions)

Kunders vurdering

Oppdag mer

Bøker som ligner på Verification, Model Checking, and Abstract Interpretation:

Computer Vision Metrics

Ny!

Computer Vision Metrics

Scott Krig

Innbundet

1875,-

Innovation and Emerging Trends in Computing and Information Technologies

Ny!

Innovation and Emerging Trends in Computing and Information Technologies

Manisha Malhotra

Paperback

1219,-

Artificial Intelligence: Methodology, Systems, and Applications

Ny!

Artificial Intelligence: Methodology, Systems, and Applications

Petia Koprinkova-Hristova

Paperback

938,-

Advanced Data Mining and Applications

Advanced Data Mining and Applications

Quan Z. Sheng

Paperback

1125,-