Tác giả: Yuri Gurevich

Ủng hộ

3 Ebooks bởi Yuri Gurevich

Herbert Edelsbrunner & Hartmut Ehrig: CURRENT TRENDS IN THEORETICAL… (V40)
The book is a very up-to-date collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifi …
PDF
Anh
DRM
€259.99
Yuri Gurevich & Philipp W. Kutter: Abstract State Machines – Theory and Applications
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 …
PDF
Anh
DRM
€57.99
Yuri Gurevich & Bertrand Meyer: Tests and Proofs
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. Thes …
PDF
Anh
DRM
€57.96