Georg Weissenbacher – författare
Visar alla böcker från författaren Georg Weissenbacher.
7 produkter
Computer Aided Verification
Av Hana Chockler, Georg Weissenbacher
Inbunden, 2020
1319 kr
Lägg i varukorg
Computer Aided Verification
Av Hana Chockler, Georg Weissenbacher
Inbunden, 2020
1179 kr
Lägg i varukorg
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Av Hana Chockler, Georg Weissenbacher
Häftad, 2018
739 kr
Lägg i varukorg
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Av Hana Chockler, Georg Weissenbacher
Häftad, 2018
739 kr
Lägg i varukorg
Digitaltechnik - Eine praxisnahe Einführung
Av Armin Biere, Daniel Kröning m. fl.
Häftad, 2008
409 kr
Lägg i varukorg