Notice de personne
- Notice
000 cx a22 45
001 FRBNF165056243
005 20120329
010 .. $a 0000000121197648 $2 VIAF $d 20130808
100 .. $a 20110429afrey50 ba0
101 .. $a eng
102 .. $a US
103 .. $a 19450727
105 .. $a a
106 .. $a 1
120 .. $a b
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Clarke $b Edmund Melson $f 1945-....
300 0. $a Informaticien. - Professeur, Computer science department, School of computer science,
Carnegie Mellon university, Pittsburgh, Pa. (en 2006)
801 .. $a FR $b FR-751131015 $c 20120329
810 .. $a Verification of infinite-state systems with applications to security / ed. by Edmund
Clarke, Marius Minea, and Ferucio Laurenţiu Ţiplea, cop. 2006
810 .. $a LC authorities - http://authorities.loc.gov (2012-03-29) $a Carnegie Mellon university - http://www.cmu.edu (2012-03-29)