Bernardo, Marco: Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965]. Berlin / Heidelberg, Springer, 2010.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Bernardo, Marco:
Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
Berlin / Heidelberg, Springer, 2010.
ISBN/EAN: 9783540343042

gefunden im Sachgebiet: Informatik, Hardware, Software

256 p. Softcover/Paperback

Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt.

EUR18,30
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 26 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Bernardo, Marco: Formal Methods for Hardware Verification. 6th International School on Formal Metho ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Sweeney, Peter:
Codierung zur Fehlererkennung und Fehlerkorrektur. (=Reihe Informationstechnik, Nachrichtentechnik).

EUR 14,70
Details zum Buch...

Hess, Helge:
Wiederverwendung von Software : Framework für betriebliche Informationssysteme. Schriften zur EDV-orientierten Betriebswirtschaft

EUR 6,30
Details zum Buch...

Österle, Hubert und Thomas Gutzwiller:
Konzepte angewandter Analyse- und Design-Methoden - Bd. 1 : Ein Referenz-Metamodell für die Analyse und das System-Design.

EUR 5,20
Details zum Buch...