Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642314230
Price: 50.14 EUR
Availability: InStock

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Autor: Madhusudan Parthasarathy, Sanjit A. Seshia

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.14 €

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide...

Informácie o knihe

Autor

Madhusudan Parthasarathy, Sanjit A. Seshia

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

789

EAN

9783642314230

ISBN

3642314236

Enbook ID

01661539

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

1200

Rozmery

155 x 235 x 44

Kompletný popis

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež