Cărți de Graham Birtwistle

Current Trends in Hardware Verification and Automated Theorem Proving

Editat de Graham Birtwistle et al.

17 sep 2011

Preț: 630^.38 lei 787^.98 lei

6-8 săpt.

-20%

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ț: 621^.67 lei 731^.37 lei

6-8 săpt.

-15%

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ț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Asynchronous Digital Circuit Design

Workshops in Computing

Editat de Graham Birtwistle et al.

6 apr 1995

Preț: 318^.80 lei 398^.50 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ț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%