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ț: 633^.54 lei 745^.34 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ț: 642^.44 lei 803^.05 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ț: 325^.06 lei 406^.32 lei

6-8 săpt.

-20%

Asynchronous Digital Circuit Design

Workshops in Computing

Editat de Graham Birtwistle et al.

6 apr 1995

Preț: 324^.74 lei 405^.93 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ț: 327^.80 lei 409^.75 lei

6-8 săpt.

-20%