Bildquelle: medimops.de
Preisverlauf (90 Tage)
Tiefstwert (90 Tage): 160,49 €
Trend
Stabile Preise
Basierend auf den letzten 14 Tagen des Preisverlaufs.
Hinweis: Amazon-Preise sind in der Preisverfolgung bzw. im Preisverlaufsgraphen nicht enthalten. Wir versenden keine Benachrichtigungen zu Produkten über Amazon.
Kundenbewertungen
Noch keine Bewertungen vorhanden.
SAT-Based Scalable Formal Verification Solutions - Malay Ganai Aarti Gupta Gebunden
Hersteller:
Malay Ganai
· MPN: M00387691669
Günstigster Preis
160,49 €
inkl. MwSt.
Bei 1 Anbieter im Vergleich
Zuletzt aktualisiert: 16.09.2026 10:23 Uhr
Bei medimops.de kaufen — 160,49 €
Verfügbar · inkl. MwSt. · Versand k.A.
Finde SAT-Based Scalable Formal Verification Solutions - Malay Gan…
Produktfakten auf einen Blick zur EAN 9780387691664
- Hersteller
- Malay Ganai
- EAN
- 9780387691664
- Hersteller-Artikelnr.
- M00387691669
- Kategorie
- Bücher
- Günstigster Preis
- 160,49 € (medimops.de)
- Anbieter im Vergleich
- 1 Shops
- Preise aktualisiert
- 16.09.2026 10:23 Uhr
Produktbeschreibung
This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.
Preisvergleich
1 Angebote gefunden
* Alle Preise inkl. MwSt., ggf. zzgl. Versandkosten. Preise und Verfügbarkeit können sich seit der letzten Aktualisierung geändert haben. Beim Klick auf „Zum Angebot" oder „Zum Shop" verlässt du EAN-Shopping.de und wirst zum jeweiligen Händler weitergeleitet. EAN-Shopping.de erhält ggf. eine Provision — für dich entstehen keine Mehrkosten. Letzte Aktualisierung: 16.09.2026 10:23 Uhr.
Weitere Produkte in „Bücher“
Alle in Kategorie →
10 x Rhodia Notizblock Rhodia Nr. 13 A6 liniert 80 Blatt ora
Rhodia
ab 29,89 €
inkl. MwSt.
1 Anbieter im Vergleich
Rhodia 18600C Notizblock -N.18 A4 80 Blatt liniert mit Rand
Rhodia
ab 44,49 €
inkl. MwSt.
1 Anbieter im Vergleich
Rhodia 16600C Notizblock N.16 A5 80 Blatt liniert mit Rand O
Rhodia
ab 47,49 €
inkl. MwSt.
1 Anbieter im Vergleich
10 x Rhodia Notizblock Rhodia Nr. 12 8,5x12cm liniert 80 Bla
Rhodia
ab 24,29 €
inkl. MwSt.
1 Anbieter im Vergleich
Akku Duracell DR9945 1020 mAh 7,4 V Lithium-Ion für Kamera
Duracell
ab 25,19 €
inkl. MwSt.
3 Anbieter im Vergleich