> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Symbolic model checking Beteiligte: MacMillan, Kenneth L. [VerfasserIn]; McMillan, Kenneth L. [Sonstige Person, Familie und Körperschaft] Erschienen: Boston [u.a.]: Kluwer Academic, 1993 Umfang: XV, 194 S; Ill; 28 cm Sprache: Englisch ISBN: 0792393805 RVK-Notation: ST 190 : Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc. ST 195 : Grundlagen des Schaltungsentwurfs (log.) ST 130 : Allgemeines Schlagwörter: Hardwareentwurf > Verifikation > Mathematisches Modell Entstehung: Anmerkungen: Includes bibliographical references (p. 183-190) and index
Bereichsbibliothek DrePunct – Magazin Signatur: R2013 8 502 Barcode: 30082197 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden