Książki autorstwa 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

Anne S. Troelstra

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