Complete Symbolic Simulation of SystemC Models – Efficient Formal Verification of Finite Non-Terminating Programs
– Buch gebraucht, antiquarisch & neu kaufen
6 Treffer in
Bücher
gebraucht
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Complete Symbolic Simulation of SystemC Models
Vladimir Herdt
Springer Fachmedien Wiesbaden
, 29.03.2016, TaschenbuchISBN: 9783658126797
Neuware


Complete Symbolic Simulation of SystemC Models
Vladimir Herdt
Springer Fachmedien Wiesbaden
, 2016, TaschenbuchISBN: 9783658126797
Zustand: leichte Gebrauchsspuren
37,77 €
versandkostenfrei
versandkostenfrei
Rabatt-Informationen
Der Verkäufer bietet die folgenden Rabatte:
Ab 40,00 € 10%
Ab 80,00 € 15%
Ab 160,00 € 20%
Gültig für alle Artikel außer neue Bücher.
Ab 40,00 € 10%
Ab 80,00 € 15%
Ab 160,00 € 20%
Gültig für alle Artikel außer neue Bücher.
wird gespeichert …


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Complete Symbolic Simulation of SystemC Models
Vladimir Herdt
Springer Fachmedien Wiesbaden
, 2016, Kartoniert / BroschiertISBN: 9783658126797
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Complete Symbolic Simulation of SystemC Models
Vladimir Herdt
Springer Fachmedien Wiesbaden
, 29.03.2016, TaschenbuchISBN: 9783658126797
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Complete Symbolic Simulation of SystemC Models | Efficient Formal Verification of Finite Non-Terminating Programs | Vladimir Herdt | Taschenbuch | xix | Englisch | 2016 | Springer Fachmedien Wiesbaden
Vladimir Herdt
Springer Fachmedien Wiesbaden
, 2016, TaschenbuchISBN: 9783658126797
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Complete Symbolic Simulation of SystemC Models
Vladimir Herdt
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
, SoftcoverISBN: 9783658126797
Neuware