| 000 | 00472nam a2200181 4500 | ||
|---|---|---|---|
| 008 | 160616s2010 000 0 | ||
| 245 |
_aTime for verification _bEssays in memory of Amir Pnueli |
||
| 100 | _aManna, Zohar | ||
| 100 | _aPeled, Doron A | ||
| 260 | _aNew york | ||
| 260 | _bSpringer | ||
| 260 | _c2010 | ||
| 300 | _a399 | ||
| 440 | _aLecture notes in computer science; 06200 | ||
| 020 | _a9783642137532 | ||
| 942 |
_cBK _2BK26021 |
||
| 080 | _a681 LNCS | ||
| 999 |
_c26021 _d26021 |
||