Freunden von diesem Artikel berichten:
Tools and Algorithms for the Construction and Analysis of Systems Armin Biere
Preis
€ 57,99
Bestellware
Lieferdatum: ca. 1. - 12. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 9. Oktober 2020 |
| ISBN13 | 9781013277184 |
| Verlag | Saint Philip Street Press |
| Seitenanzahl | 516 |
| Maße | 150 × 220 × 10 mm · 1,18 kg |
Weitere Titel von Armin Biere
Alle anzeigen![Cover for Armin Biere · Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/662/9783319088662.jpg?armin-biere-2014-computer-aided-verification-26th-international-conference-cav-2014-held-as-part-of-the-vienna-summer-of-logic-vsl-2014-vienna-austria-july-18-22-2014-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1508669808)
![Cover for Armin Biere · Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Taschenbuch) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/106/9783642396106.jpg?armin-biere-2013-hardware-and-software-verification-and-testing-8th-international-haifa-verification-conference-hvc-2012-haifa-israel-november-6-8-2012-revised-selected-papers-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1613569962)
![Cover for Armin Biere · Digitaltechnik - Eine Praxisnahe Einf Hrung - Springer-lehrbuch (Taschenbuch) [German, 2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/281/9783540777281.jpg?armin-biere-2008-digitaltechnik-eine-praxisnahe-einf-hrung-springer-lehrbuch-taschenbuch&class=scaled&v=1566387037)
Alle Titel von Armin Biere ansehen ( u. a. Taschenbuch und Gebundenes Buch )