Erweiterte Suche
Wir suchen aus über 100 Shops für Sie jetzt die besten Angebote - bitte etwas Geduld…
- Versandkosten nach Deutschland (ändern auf AUT, CHE, NLD, SWE, DEN, RUS, FRA, POL, CZE, GBR, USA)
Voreinstellungen anlegen

Alle Bücher für 9780470253397 - jedes Angebot vergleichen

9780470253397 - Michael Yoeli;Rakefet Kol: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Buch
1
Michael Yoeli;Rakefet Kol (?):

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (?)

ISBN: 9780470253397 (?) bzw. 0470253398, in Englisch, Wiley, Vereinigte Staaten von Amerika, neu, E-Book, elektronischer Download

105,99(unverbindlich)
zzgl. Versandkosten
Von Händler/Antiquariat
Bestellnummer des Händlers: 21139860
Bestellnummer bei der Plattform Ebook.de (EB): 123021592
Kategorie: eBooks > Belletristik > Erzählungen
Schlüsselwörter: ELEKTROTECHNIK U ELEKTRONIK ,INFORMATIK ,PARALLEL AND DISTRIBUTED COMPUTING ,PARALLELES U VERTEILTES RECHNEN ,SOFTWARE ENGINEERING ,SOFTWARE-ENGINEERING ,COMPUTER SCIENCE ,COMPUTERTECHNIK ,ELECTRICAL ELECTRONICS ENGINEERING ,ELEKTROTECHNIK
Daten vom 06.06.2016 06:15h
ISBN (andere Schreibweisen): 0-470-25339-8, 978-0-470-25339-7
9780470253397 - Michael Yoeli#Rakefet Kol: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Buch
2
Michael Yoeli#Rakefet Kol (?):

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (?)

ISBN: 9780470253397 (?) bzw. 0470253398, in Deutsch, Wiley, Vereinigte Staaten von Amerika, neu, E-Book

105,99(unverbindlich)
zzgl. Versandkosten, Sofort per Download lieferbar
Von Händler/Antiquariat
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactiveintroduction to formal verification of systems and circuits. Thebook offers theoretical background and introduces the applicationof three powerful verification toolsets: LOTOS-based CADP, Petrinets-based PETRIFY, and CCS-based CWB. The book coversverification of modular asynchronous circuits, alternating-bitprotocols, arbiters, pipeline controllers, up-down counters, andphase converters, as well as many other verification examples. Using the given detailed examples, exercises, and easy-to-followtutorials, complete with the downloadable toolsets available viareferenced Web sites, this book serves as an ideal text in advancedundergraduate and graduate courses in computer science andelectrical engineering. It is also valuable as a desktop referencefor practicing verification engineers who are interested inverifying that designed digital systems meet specifications andrequirements.
Bestellnummer des Händlers: 27978800
Bestellnummer bei der Plattform Buch.de: 0570f954824367f0c9d27f43267920 1b
Kategorie: eBooks / Fremdsprachige eBooks / Englische eBooks / Sach- & Fachthemen / Informatik
Schlüsselwörter: eBooks
Daten vom 06.06.2016 06:15h
ISBN (andere Schreibweisen): 0-470-25339-8, 978-0-470-25339-7

9780470253397

Finden Sie alle lieferbaren Bücher zur ISBN-Nummer 9780470253397 einfach und schnell und können die Preise vergleichen und sofort bestellen.

Lieferbare Raritäten, Sonderausgaben, Restposten und gebrauchte Bücher sowie antiquarische Bücher des Titels "Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS" von Michael Yoeli;Rakefet Kol werden vollständig erfasst.

Benachbarte Bücher

>> zum Archiv