Kniha Computer Aided Verification David L. Dill

Computer Aided Verification

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Autor: David L. Dill
Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1994
Stránek
486
EAN
9783540581796
ISBN
3540581790
Enbook ID
05274394
Hmotnost
1520
Rozměry
155 x 235 x 26

Kompletní popis

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

Mohlo by vás zajímat

Topology Optimization

Martin Ph. Bendsoe
3 198

Open Heart Surgery

Carlos Robinson
409

Roadside History

Thomas H. Appleton Jr
453

Love Scrolls

Edward Theodore Hayes
510
149

Broadway

Michelle Young
541
259
146

The Monastery

Walter Scott
551
1 625

Startup CEO

Matt Blumberg
511

Abandon the Old in Tokyo

Yoshihiro Tatsumi
287
1 311

Benzofurans

A. Mustafa
12 989

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

259
800
153
568

ARANCINI KUNST

Malle Raudsepp
719

HuMan ???????? ??????

Hans-Jurgen Klaussner AR
207
585
338

On Opened Ground

Mark-Anthony Turnage
1 138

Citadino Mistico

MOISES RODRIGUEZ
189

Geschichtsbilder

Jürgen Aretz
312
522

La Bíblia de tots

Pilarín Bayés
722
1 055