Könyv Computer Aided Verification Rupak Majumdar

Computer Aided Verification

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 325 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

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
601
EAN
9783319633862
ISBN
3319633864
Enbook ID
16495653
Súly
9299
Méretek
155 x 235 x 35

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

Storm Makers

Jennifer E. Smith
6 444 Ft

Walkertown

Area Historical Society Walkertown
7 374 Ft

Doberman Pinschers

Christina Leighton
12 211 Ft

Hizballah

Shimon Shapira
20 509 Ft
6 830 Ft
5 264 Ft

Blue Room

David Hare
4 353 Ft
37 770 Ft
41 526 Ft

Computer Architecture

Gerard Blanchet
52 813 Ft

Auld Sod

David Edson
5 978 Ft
10 147 Ft

Food Wars

Mairi McLellan
13 989 Ft

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

8 697 Ft

PHDA na pratica

Rui Pedro Ribeiro
3 029 Ft

PASSACAILLE --- GUITARE

KLEYNJANS FRANCIS
4 483 Ft

One Piece 95

Antje Bockel
2 616 Ft
7 531 Ft
6 830 Ft