Abstract State Machines: A Method for High-Level System Design and Analysis
Autor Egon Börger et al.
23 apr 2003
Hardback
Preț: 332.92 lei 416.15 lei
43-57 zile
-20%
Cărți de Robert Stärk
Proof Theory in Computer Science
Editat de Reinhard Kahle et al.
28 sep 2001
Paperback
Preț: 319.92 lei 399.90 lei
43-57 zile
-20%