Hoppa till sidans huvudinnehåll

Georg Weissenbacher - Böcker

Visar alla böcker från författaren Georg Weissenbacher.
7 produkter

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2020

1 099 kr

Skickas inom 3-6 vardagar

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Inbunden, Engelska, 2020

1 209 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2020

989 kr

Skickas inom 3-6 vardagar

Computer Aided Verification

AvHana Chockler,Georg Weissenbacher

Inbunden, Engelska, 2020

1 089 kr

Skickas inom 5-8 vardagar

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

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

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

AvHana Chockler,Georg Weissenbacher

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Digitaltechnik - Eine praxisnahe Einführung

AvArmin Biere,Daniel Kröning m. fl.

Häftad, Tyska, 2008

389 kr

Skickas inom 10-15 vardagar