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
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1998
Stránek
552
EAN
9783540646082
ISBN
3540646086
Enbook ID
05274836
Hmotnost
720
Rozměry
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 zajímat

808

Kept for Jesus

Sam Storms
419
573

Fenway Park

David Hickey
460
465

Principles of Marketing

Philip T. Kotler
5 929

GAME OF EMPIRES

Edward S. (Edward Sims) 1863 Van Zile
770
104

THE CHORDATES

HERBERT W. 187 RAND
812

Uncovered

Ian Birch
1 244

Third Sector

Meghan Kallman
595

Orson Welles

Chris Wade
349

Dark Object

Don Ledger
153
1 220
506

Zákaznicí kteří koupili tuto knihu koupili také

SOUPES ET MINESTRONE

BERNARSCONI-CETTEUBNER-C
279
413
307

Hermeneutiken

Lutz Danneberg
4 193

Hase und Igel

Axel Scheffler
147

Bu Benim.Zip

Asli Serin
248

100 Abenteuerreisen

Rudolf S Rehberg
770
1 407

Hannebambel

Roland Pecher
187

neue E-Bilanz

Judith Pohler
497