| Record ID | marc_records_scriblio_net/part20.dat:199520193:803 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part20.dat:199520193:803?format=raw |
LEADER: 00803nam 2200241 a 4500
001 89148394
003 DLC
005 19891023081826.0
008 890605s1989 wb a b 00010 ger
010 $a 89148394
020 $a038750642X (U.S.)
050 0 $aQA76.9.S88$bL47 1989
082 0 $a004.2/1$220
100 10 $aLeszak, M.$q(Marek)
245 10 $aPetri-Netz-Methoden und -Werkzeuge :$bHilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen /$cM. Leszak, H. Eggert.
260 0 $aBerlin ;$aNew York :$bSpringer,$cc1989.
300 $axii, 254 p. :$bill. ;$c25 cm.
440 0 $aInformatik-Fachberichte ;$v197
500 $a"Glossar": p. [231]-247.
504 $aIncludes bibliographical references.
650 0 $aSystem design.
650 0 $aPetri nets.
700 10 $aEggert, H.$q(Horst)