Libri di Yuri Gurevich - BookPine

Fenómenos de Contacto y Sus Aplicaciones en Celdas Solares

Fenómenos de Contacto y Sus Aplicaciones en Celdas Solares

Yuri Gurevich

Tests and Proofs

Tests and Proofs

Bertrand Meyer

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Bertrand Meyer

Abstract State Machines (Theory and Applications): International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

Abstract State Machines (Theory and Applications): International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

Yuri Gurevich

Basic Proof Theory

Basic Proof Theory

Anne S. Troelstra

Formal Methods in Digital Design

Formal Methods in Digital Design

J. Herbert

The Classical Decision Problem

The Classical Decision Problem

Egon Börger

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers

Egon Börger

Current Trends in Theoretical Computer Science: Essays and Tutorials

Current Trends in Theoretical Computer Science: Essays and Tutorials

Herbert Edelsbrunner

The Classical Decision Problem

The Classical Decision Problem

Egon Börger