Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorInternational Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.)
TitleComputer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings / Warren A. Hunt, Jr., Fabio Somenzi (eds.)
Imprint Berlin : Springer, c2003
Descript xii, 462 p. : ill. ; 24 cm

CONTENT

Extending bounded model checking -- Symbolic model checking -- Games, trees, and counters -- Tool presentations -- Abstraction -- Dense time -- Infinite state systems -- Theorem proving -- Automata-based verification -- Invariants -- Explicit model checking


Computer software -- Verification -- Congresses Integrated circuits -- Verification -- Congresses Electronic digital computers -- Evaluation -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)005.14 I61C 2003CHECK SHELVES

Chulalinet's Book Delivery Request




Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram