Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 46145316
Price: 39.19 EUR
Availability: InStock
Author: Arie Gurfinkel
ISBN: 9783031656293

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel

Vijay Ganesh

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 46145316

Založba Springer, Berlin, avgust 2024

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Co... Celoten opis

Koda Libristo: 46145316

95 b

39.19 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

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.