Rajeev Alur, Doron A. Peled (eds.)
Berlin ; Tokyo : Springer, c2004
図書等2004
xii, 536 p. : ill. ; 24 cm
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 2004 : proceedings
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
CAV (Conference) [ DIMACS Workshop on Computer-Aided Verification ] [ International Conference, CAV ] [ International Workshop, CAV ] [ Workshop on Computer-Aided Verification ] [ Conference on Computer-Aided Verification ] [ International Conference on Computer Aided Verification ]
LCC:QA76.76.V47
3540223428
BA68021935
