Tille daniel (4 Ergebnisse)
Test Pattern Generation using Boolean Proof Engines
Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 109,97
EUR 13,14 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Test Pattern Generation using Boolean Proof Engines
Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,11
EUR 13,14 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler|Stephan Eggersglüß|Görschwin Fey|Daniel Tille
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,27
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The first book giving a detailed overview on SAT-based ATPGAll techniques are validated on industrial designsA comprehensive introduction to Boolean Satisfiability1 Introduction. 2 Preliminaries. 2.1 Circuits. 2.2 Fault Models. 2.3 .…
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler|Stephan Eggersglüß|Görschwin Fey|Daniel Tille
- Hardcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 93,00
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The first book giving a detailed overview on SAT-based ATPGAll techniques are validated on industrial designsA comprehensive introduction to Boolean Satisfiability1 Introduction. 2 Preliminaries. 2.1 Circuits. 2.2 Fault Models. 2.3 . …
