Książka Computer Aided Verification Alan J. Hu

Computer Aided Verification

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

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
423.57
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1998
strony
552
EAN
9783540646082
ISBN
3540646086
Enbook ID
05274836
Waga
720
Wymiary
156 x 234 x 29

Pełny opis

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.

Możesz być zainteresowany

148.88

Kept for Jesus

Sam Storms
77.79
105.35

Fenway Park

David Hickey
85.78
86.17

Principles of Marketing

Philip T. Kotler
1 087.76

GAME OF EMPIRES

Edward S. (Edward Sims) 1863 Van Zile
141.77
18.20

THE CHORDATES

HERBERT W. 187 RAND
149.56

Uncovered

Ian Birch
217.91

Third Sector

Meghan Kallman
104.18

Orson Welles

Chris Wade
64.26

Dark Object

Don Ledger
28.72
225.02
1 267.60
93.96

Klienci, którzy kupili tę książkę, kupili również

72.44

SOUPES ET MINESTRONE

BERNARSCONI-CETTEUBNER-C
48.97
53.84

Hermeneutiken

Lutz Danneberg
775.38

Hase und Igel

Axel Scheffler
27.55

Bu Benim.Zip

Asli Serin
46.05

100 Abenteuerreisen

Rudolf S Rehberg
143.42
246.64

Hannebambel

Roland Pecher
35.04

neue E-Bilanz

Judith Pohler
92.30