Graham Birtwistle - Böcker
Visar alla böcker från författaren Graham Birtwistle.
5 produkter
5 produkter
Current Trends in Hardware Verification and Automated Theorem Proving
Av Graham Birtwistle, P.A. Subrahmanyam, P. a. Subrahmanyam, P. A. Subrahmanyam
Häftad, Engelska, 2011
1 419 kr
Skickas inom 7-10 vardagar
Del 35 - Springer International Series in Engineering and Computer Science
VLSI Specification, Verification and Synthesis
Av Graham Birtwistle, P.A. Subrahmanyam, P. a. Subrahmanyam, P. A. Subrahmanyam
Häftad, Engelska, 2013
1 419 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 1991
739 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 1995
719 kr
Skickas inom 7-10 vardagar
Del 1043 - Lecture Notes in Computer Science
Logics for Concurrency
Häftad, Engelska, 1996
739 kr
Skickas inom 7-10 vardagar