• Computer aided verification
  • *Description*

*Result*: Computer aided verification

*Title*:
Computer aided verification : proceedings ; New Brunswick, NJ, USA, July 31 - August 3, 1996 / 8th International Conference, CAV '96. Rajeev Alur ... (eds.)
*Author/editor-in-chief*:
Alur, Rajeev (Herausgeber) 
*Corporate*:
CAV (8 : 1996 : New Brunswick, NJ)
*Publication*:
Berlin : Springer, 1996
*Physical description scale*:
XII, 472 Seiten : Diagramme
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 1102
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540614745
*L1_Classifications*:
54.51

*Additional information*

*Additional functions*