> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Verification of systems and circuits using LOTOS, Petri Nets, and CCS Beteiligte: Yoeli, Michael [VerfasserIn]; Kol, Rakefet [VerfasserIn] Erschienen: Hoboken, NJ: Wiley-Interscience, c2008 Erschienen in: Wiley series on parallel and distributed computing Umfang: XV, 231 S; graph. Darst; 25 cm Sprache: Englisch ISBN: 9780471704492; 0471704490 Entstehung: RVK-Notation: ZN 4030 : Prüfverfahren in der Technischen Elektronik allgemein; Fehlererkennungsschaltungen; Test elektronischer Schaltungen und Bauelemente ST 132 : Netztheorie, Petri-Netze Schlagwörter: Schaltungsanalyse > LOTOS Anmerkungen: Includes bibliographical references and index