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!
|
| LEADER | 01417nam#a2200373zc#4500 | ||
|---|---|---|---|
| 001 | 990002972730504498 | ||
| 005 | 20230530174821.0 | ||
| 007 | tu | ||
| 008 | 911127|1991####|||###########|||#|#ger#c | ||
| 009 | AC00361756 | ||
| 015 | |a 91,N39,0399 |2 dnb | ||
| 020 | |a 3519022494 |c kart. : DM 46.00 | ||
| 035 | |a (AT-OBV)AC00361756 | ||
| 035 | |a AC00361756 | ||
| 035 | |a (Aleph)000626730ACC01 | ||
| 035 | |a (DE-599)OBVAC00361756 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990006267300203331 | ||
| 040 | |a UBI |b ger |e rakwb | ||
| 041 | |a ger | ||
| 044 | |c XA-DE | ||
| 084 | |a ST 120 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-21 | ||
| 084 | |a ZN 5680 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-21 | ||
| 084 | |a ST 190 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-21 | ||
| 084 | |a ST 150 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-21 | ||
| 084 | |a ZN 5600 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-21 | ||
| 084 | |a ST 195 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-21 | ||
| 084 | |a ZN 5630 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-21 | ||
| 100 | 1 | |a Eveking, Hans |4 aut | |
| 245 | 1 | 0 | |a Verifikation digitaler Systeme |b eine Einführung in den Entwurf korrekter digitaler Systeme |c von Hans Eveking |
| 264 | 1 | |a Stuttgart |b Teubner |c 1991 | |
| 300 | |a XII, 308 S. |b graph. Darst. |c 23 cm | ||
| 490 | 0 | |a Leitfäden und Monographien der Informatik | |
| 500 | |a Literaturverz. S. [293] - 302 | ||
| 689 | 0 | 0 | |a Hardwareverifikation |D s |0 (DE-588)4214982-4 |
| 689 | 0 | |5 AT-OBV |5 UBI | |
| ADM | |b 2023-05-30 17:48:21 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 09:38:08 Europe/Vienna |g false | ||
| HOL | 8 | |b YWISF |h ISF-B326 |c ISF-BIB |8 2218654580004498 | |
| 852 | 8 | |b YWISF |c ISF-BIB |h ISF-B326 |8 2218654580004498 | |
| ITM | |9 2218654580004498 |e 1 |m BOOK |b 297273-10 |i ISF-B326 |2 ISF-BIB |n SOL-02-03 |o 19991230 |8 2318654570004498 |f 01 |p 2015-07-27 02:00:00 Europe/Vienna |h ISF-B326 |1 YWISF |q 2018-12-24 09:39:41 Europe/Vienna | ||