Yuri Gurevich – författare
Visar alla böcker från författaren Yuri Gurevich. Handla med fri frakt och snabb leverans.
8 produkter
Semantics of Programming Languages and Model Theory
Av Manfred Droste, Yuri Gurevich
Inbunden, 1993
3129 kr
Lägg i varukorg
A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB Dägstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction …
Classical Decision Problem
Av Egon Börger, Erich Grädel m. fl.
Häftad, 2001
1971 kr
Lägg i varukorg
This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophers of science as well as the students in all these disci plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, …
Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
Av Lothar Thiele, Martin Odersky m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction …
Computer Science Logic
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Av Egon Börger, Yuri Gurevich m. fl.
Häftad, 1994
569 kr
Lägg i varukorg
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially …
Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
Av Yuri Gurevich, Philipp W. Kutter m. fl.
Häftad, 2000
569 kr
Lägg i varukorg
The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction …
Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Av Bertrand Meyer, Yuri Gurevich
Häftad, 2007
569 kr
Lägg i varukorg
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your …
Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Av Yuri Gurevich, Bertrand Meyer
E-bok, 2007
755 kr
Lägg i varukorg
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your …
Fenomenos de contacto y sus aplicaciones en celdas solares
Av G. Miguel Melendez Lira, Yuri Gurevich
E-bok, 2024
79 kr
Lägg i varukorg
Esta obra aborda el estudio de las celdas solares considerándolas un dispositivo electrónico. Primero, presenta en forma breve detalles históricos de las celdas solares, el desarrollo de sus aplicaciones y las estrategias utilizadas en diversos países. Después expone los conceptos físicos …
