Computer Aided Verification

Szerző: Rupak Majumdar, Viktor Kuncak

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

19 305 Ft

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern...

Információk a könyvről

Szerző

Rupak Majumdar, Viktor Kuncak

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2017

oldal

623

EAN

9783319633893

ISBN

3319633899

Enbook ID

16495654

Kiadó

Springer International Publishing AG

Súly

9591

Méretek

155 x 235 x 36

Teljes leírás

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

É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

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