• Computer aided verification
  • *Table of Contents*

*Result*: Computer aided verification

*Title*:
Computer aided verification : 14th international conference ; proceedings / CAV 2002, Copenhagen, Denmark, July 27 - 31, 2002. Ed Brinksma ; Kim Guldstrand Larsen (ed.)
*Author/editor-in-chief*:
Brinksma, Ed (Herausgeber) 
*Corporate*:
CAV (14 : 2002 : Kopenhagen)
*Publication*:
Berlin : Springer, 2002
*Physical description scale*:
XIII, 623 Seiten : Diagramme ; 24 cm
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; Vol. 2404
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540439978

*Additional information*

*Additional functions*