Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 9783031131875
Price: 15735 HUF
Availability: InStock

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Szerző: Sharon Shoham, Yakir Vizel

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

15 735 Ft

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r...

Információk a könyvről

Szerző

Sharon Shoham, Yakir Vizel

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2022

oldal

549

EAN

9783031131875

Enbook ID

39439333

Kiadó

Springer International Publishing AG

Súly

866

Méretek

155 x 235 x 31

Teljes leírás

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták