| 000 | 01903cam a22005057a 4500 | ||
|---|---|---|---|
| 001 | 15302967 | ||
| 003 | OSt | ||
| 005 | 20170728171111.0 | ||
| 008 | 080522s2008 gw a b 111 0 eng d | ||
| 010 | _a 2008929605 | ||
| 015 |
_a08,A29,0089 _2dnb |
||
| 015 |
_a08,N26,0091 _2dnb |
||
| 016 | 7 |
_a989061388 _2DE-101 |
|
| 020 | _a9783540698494 (pbk.) | ||
| 028 | 5 | 2 | _a12326419 |
| 035 | _a(OCoLC)ocn232569762 | ||
| 040 |
_aIISER Bhopal _beng _cIISER Bhopal |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA76.76.V47 _bA23 2008 |
| 072 | 7 |
_aQA _2lcco |
|
| 082 |
_a005.1 Y32 _223 |
||
| 222 | _aEECS-Reference book collection | ||
| 245 | 0 | 0 |
_a25 years of model checking : _bhistory, achievements, perspectives _cOrna Grumberg, Helmut Veith (eds.). |
| 260 |
_aBerlin : _bSpringer, _c2008. |
||
| 300 |
_avi, 230 p. : _bill. ; _c24 cm. |
||
| 490 | 1 |
_aLecture notes in computer science, _x0302-9743 ; _v5000 |
|
| 490 | 1 | _aLNCS. Festschrift | |
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aComputer systems _xVerification. _920996 |
|
| 650 | 6 |
_aInformatique. _920997 |
|
| 650 | 6 |
_aStructure logique. _920998 |
|
| 650 | 6 |
_aGénie logiciel. _920999 |
|
| 650 | 0 | 7 |
_aModel Checking. _2swd _921000 |
| 650 | 0 | 7 |
_aProgramming _921678 |
| 655 | 7 |
_aAufsatzsammlung. _2swd _921001 |
|
| 700 | 1 |
_aGrumberg, Orna _921002 |
|
| 700 | 1 |
_aVeith, Helmut _921003 |
|
| 830 | 0 |
_aLecture notes in computer science ; _v5000. _921004 |
|
| 830 | 0 |
_aLecture notes in computer science. _pFestschrift. _921005 |
|
| 856 | 4 | 1 |
_3Table of contents _uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016560863&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| 906 |
_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c7939 _d7939 |
||