3 Ebooki wg 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 …
PDF
Angielski
DRM
€289.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
Angielski
DRM
€57.21
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. …
PDF
Angielski
DRM
€57.15
