Könyv Computer Aided Verification Ed Brinksma

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

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
38 435 Ft
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2002
oldal
362
EAN
9783540439974
ISBN
3540439978
Enbook ID
01564506
Súly
2010
Méretek
155 x 233 x 36

Teljes leírás

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

Érdekelheti

13 428 Ft

Let's Find Momo!

Andrew Knapp
3 746 Ft

LAW REPORTS PRIVY COUNCIL APPE

Great Britain Privy Council Judicial C.
14 507 Ft
78 079 Ft

Taste of Home How Do I Make...?

Editors at Taste of Home
6 244 Ft

Under the Gaslight

Augustin Daly
4 740 Ft

Cheerleading

Kaitlyn Duling
12 179 Ft

Pediatric Dysphagia

Julina Ongkasuwan
52 700 Ft

Housing in Taiwan

William D.H. Li
63 532 Ft
3 491 Ft

Sunkisses

Larsee H Mac
5 523 Ft
5 877 Ft

Inspired

Winsome James
6 499 Ft
6 087 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