Abstract State Machines: A Method for High-Level System Design and Analysis
Autor Egon Börger et al.
3 oct 2013
Paperback
Preț: 330.31 lei 412.88 lei
6-8 săpt.
-20%
Cărți de Robert Stärk
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Editat de Reinhard Kahle et al.
28 sep 2001
Paperback
Preț: 321.02 lei 401.27 lei
6-8 săpt.
-20%