Mohlo by se vám také líbit

Více informací o knize Theorem Provers in Circuit Design: Theory, Practice and Experience

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 154 bodů

Anotace knihy

Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science

• Plný název: Theorem Provers in Circuit Design: Theory, Practice and Experience
• Podnázev: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
• Autor: Thomas Kropf, Ramayya Kumar
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 312
• EAN: 9783540590477
• ISBN: 3540590471
• ID: 05274454
• Nakladatelství: Springer, Berlin
• Hmotnost: 424 g
• Rozměry: 233 × 155 × 17 mm
• Rok vydání: 1995

Oblíbené z jiného soudku

---

---

---