ISBN: 9783832259563
1 volume, please be aware of language, air mail shipment from Germany within 2-6 weeks, we deliver to any country - please ask us to enable delivery to your country!
| Biblio.com |
ISBN: 9783832259563
[PU: Shaker 22.007], 282 S. PaperbackBuch wie neu 1. Aufl., [SC: 2.40]
| booklooker.de |
ISBN: 3832259562
[PU: Shaker], 282 S. PaperbackBuch wie neu. 1. Aufl., [SC: 2.40]
| booklooker.de |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - gebrauchtes Buch
ISBN: 9783832259563
1 volume, please be aware of language, air mail shipment from Germany within 2-6 weeks, we deliver to any country - please ask us to enable delivery to your country!
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
EAN (ISBN-13): 9783832259563
ISBN (ISBN-10): 3832259562
Taschenbuch
Buch in der Datenbank seit 2008-06-05T19:46:45+02:00 (Zurich)
Detailseite zuletzt geändert am 2013-08-12T05:46:05+02:00 (Zurich)
ISBN/EAN: 3832259562
ISBN - alternative Schreibweisen:
3-8322-5956-2, 978-3-8322-5956-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: verifikation, schaltungen, methoden und beschreibungssprachen
Daten vom Verlag:
Autor/in: Christian Haubelt; Jürgen Teich
Titel: Berichte aus der Informatik; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Verlag: Shaker
282 Seiten
Erscheinungsjahr: 2007-02-04
Gewicht: 0,419 kg
Sprache: Deutsch
39,80 € (DE)
39,80 € (AT)
79,60 CHF (CH)
Not available (reason unspecified)
BC; PB; Hardcover, Softcover / Informatik, EDV; Informatik und Informationstechnologie; Verifikation; Modellierung; Schaltungs- und Systemverifikation; Schaltungs- und Systementwurf
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783798321182 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Carsten Gremzow, Nico Moser)
- 9783798321182 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Carsten Gremzow, Nico Moser)
- 9783826598593 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Jürgen Ruf)
- 9783830062011 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012 (Schriftenreihe Forschungsergebnisse zur Informatik) (Jens Brandt, Klaus Schneider)
- 9783826546846 GI/ITG/GMM Workshop - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Matthias Mutz)
- 9783800749454 MBMV 2019 (Christoph Grimm; Klaus Schneider; Carna Zivkovic)
< zum Archiv...