Kniha Computer Aided Verification Alan J. Hu

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
99.78
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1998
Stránok
552
EAN
9783540646082
ISBN
3540646086
Enbook ID
05274836
Hmotnosť
720
Rozmery
156 x 234 x 29

Kompletný popis

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Mohlo by vás zaujímať

33.32

Kept for Jesus

Sam Storms
17.34
23.61

Fenway Park

David Hickey
19.01
20.28

Principles of Marketing

Philip T. Kotler
244.75

GAME OF EMPIRES

Edward S. (Edward Sims) 1863 Van Zile
31.75
4.30

THE CHORDATES

HERBERT W. 187 RAND
33.51

Uncovered

Ian Birch
51.35

Third Sector

Meghan Kallman
24.50

Orson Welles

Chris Wade
14.40

Dark Object

Don Ledger
6.36
53.02
283.86
22.14

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

17.05

SOUPES ET MINESTRONE

BERNARSCONI-CETTEUBNER-C
11.56
12.73
8.13

Hermeneutiken

Lutz Danneberg
182.70

Hase und Igel

Axel Scheffler
6.46

Bu Benim.Zip

Asli Serin
10.87

100 Abenteuerreisen

Rudolf S Rehberg
33.81
58.12

Hannebambel

Roland Pecher
8.22

neue E-Bilanz

Judith Pohler
21.75