Verifikation digitaler Systeme : eine Einführung in den Entwurf korrekter digitaler Systeme / von Hans Eveking
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | Stuttgart : Teubner, 1991 |
| Year of Publication: | 1991 |
| Language: | German |
| Series: | Leitfäden und Monographien der Informatik
|
| Subjects: | |
| Physical Description: | XII, 308 S.; graph. Darst.; 23 cm |
| Notes: | Literaturverz. S. [293] - 302 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
990002972730504498 |
|---|---|
| ctrlnum |
AC00361756 (AT-OBV)AC00361756 (Aleph)000626730ACC01 (DE-599)OBVAC00361756 (EXLNZ-43ACC_NETWORK)990006267300203331 |
| collection |
bib_alma |
| institution |
YWISF |
| building |
ISF-BIB |
| record_format |
marc |
| spelling |
Eveking, Hans aut Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking Stuttgart Teubner 1991 XII, 308 S. graph. Darst. 23 cm Leitfäden und Monographien der Informatik Literaturverz. S. [293] - 302 Hardwareverifikation s (DE-588)4214982-4 AT-OBV UBI YWISF ISF-BIB ISF-B326 2218654580004498 |
| language |
German |
| format |
Book |
| author |
Eveking, Hans |
| spellingShingle |
Eveking, Hans Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme Leitfäden und Monographien der Informatik Hardwareverifikation (DE-588)4214982-4 |
| author_facet |
Eveking, Hans |
| author_variant |
h e he |
| author_role |
VerfasserIn |
| author_sort |
Eveking, Hans |
| title |
Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme |
| title_sub |
eine Einführung in den Entwurf korrekter digitaler Systeme |
| title_full |
Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking |
| title_fullStr |
Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking |
| title_full_unstemmed |
Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking |
| title_auth |
Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme |
| title_new |
Verifikation digitaler Systeme |
| title_sort |
verifikation digitaler systeme eine einführung in den entwurf korrekter digitaler systeme |
| series |
Leitfäden und Monographien der Informatik |
| series2 |
Leitfäden und Monographien der Informatik |
| publisher |
Teubner |
| publishDate |
1991 |
| physical |
XII, 308 S. graph. Darst. 23 cm |
| isbn |
3519022494 |
| callnumber-raw |
ISF-B326 |
| callnumber-search |
ISF-B326 |
| topic |
Hardwareverifikation (DE-588)4214982-4 |
| topic_facet |
Hardwareverifikation |
| illustrated |
Not Illustrated |
| work_keys_str_mv |
AT evekinghans verifikationdigitalersystemeeineeinfuhrungindenentwurfkorrekterdigitalersysteme |
| status_str |
n |
| ids_txt_mv |
(AT-OBV)AC00361756 AC00361756 (Aleph)000626730ACC01 (DE-599)OBVAC00361756 (EXLNZ-43ACC_NETWORK)990006267300203331 |
| hol852bOwn_txt_mv |
YWISF |
| hol852hSignatur_txt_mv |
ISF-B326 |
| hol852cSonderstandort_txt_mv |
ISF-BIB |
| itmData_txt_mv |
2015-07-27 02:00:00 Europe/Vienna |
| barcode_str_mv |
297273-10 |
| callnumbers_txt_mv |
ISF-B326 |
| inventoryNumbers_str_mv |
ISF-B326 |
| materialTypes_str_mv |
BOOK |
| permanentLibraries_str_mv |
YWISF |
| permanentLocations_str_mv |
ISF-BIB |
| inventoryDates_str_mv |
19991230 |
| createdDates_str_mv |
2015-07-27 02:00:00 Europe/Vienna |
| holdingIds_str_mv |
2218654580004498 |
| is_hierarchy_id |
AC00361756 |
| is_hierarchy_title |
Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme |
| _version_ |
1787552248499273731 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01417nam#a2200373zc#4500</leader><controlfield tag="001">990002972730504498</controlfield><controlfield tag="005">20230530174821.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">911127|1991####|||###########|||#|#ger#c</controlfield><controlfield tag="009">AC00361756</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">91,N39,0399</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519022494</subfield><subfield code="c">kart. : DM 46.00</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC00361756</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC00361756</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)000626730ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC00361756</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990006267300203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">UBI</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-DE</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 5680</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 5600</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 195</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 5630</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eveking, Hans</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifikation digitaler Systeme</subfield><subfield code="b">eine Einführung in den Entwurf korrekter digitaler Systeme</subfield><subfield code="c">von Hans Eveking</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Teubner</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 308 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">23 cm</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Leitfäden und Monographien der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [293] - 302</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4214982-4</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">UBI</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-05-30 17:48:21 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 09:38:08 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWISF</subfield><subfield code="h">ISF-B326</subfield><subfield code="c">ISF-BIB</subfield><subfield code="8">2218654580004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWISF</subfield><subfield code="c">ISF-BIB</subfield><subfield code="h">ISF-B326</subfield><subfield code="8">2218654580004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2218654580004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">297273-10</subfield><subfield code="i">ISF-B326</subfield><subfield code="2">ISF-BIB</subfield><subfield code="n">SOL-02-03</subfield><subfield code="o">19991230</subfield><subfield code="8">2318654570004498</subfield><subfield code="f">01</subfield><subfield code="p">2015-07-27 02:00:00 Europe/Vienna</subfield><subfield code="h">ISF-B326</subfield><subfield code="1">YWISF</subfield><subfield code="q">2018-12-24 09:39:41 Europe/Vienna</subfield></datafield></record></collection> |