Cărți de Graham Birtwistle

VLSI Specification, Verification and Synthesis

The Springer International Series in Engineering and Computer Science, nr. 35

Editat de Graham Birtwistle et al.

14 aug 2013

Preț: 646^.62 lei 760^.73 lei

6-8 săpt.

-15%

Current Trends in Hardware Verification and Automated Theorem Proving

Editat de Graham Birtwistle et al.

17 sep 2011

Preț: 655^.73 lei 819^.65 lei

6-8 săpt.

-20%

Logics for Concurrency: Structure versus Automata

Lecture Notes in Computer Science, nr. 1043

Editat de Faron Moller et al.

6 mar 1996

Preț: 331^.74 lei 414^.67 lei

6-8 săpt.

-20%

Asynchronous Digital Circuit Design

Workshops in Computing

Editat de Graham Birtwistle et al.

6 apr 1995

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Workshops in Computing

Editat de Graham Birtwistle

31 iul 1991

Preț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%