| Record ID | marc_loc_2016/BooksAll.2016.part19.utf8:167178581:833 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part19.utf8:167178581:833?format=raw |
LEADER: 00833cam a2200253 a 4500
001 89148394
003 DLC
005 20111221093244.0
008 890605s1989 gw a b 000 0 ger
010 $a 89148394
020 $a038750642X (U.S.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.S88$bL47 1989
082 00 $a004.2/1$220
100 1 $aLeszak, M.$q(Marek)
245 10 $aPetri-Netz-Methoden und -Werkzeuge :$bHilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen /$cM. Leszak, H. Eggert.
260 $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 1 $aEggert, H.$q(Horst)