Adapting Proofs-as-Programs
Autor Iman Poernomo et al.
19 noi 2010
Paperback
Preț: 998.48 lei 1248.10 lei
6-8 săpt.
-20%
Monographs in Computer Science
Geometric Fundamentals of Robotics
Autor J. M. Selig
25 noi 2010
Paperback
Preț: 508.69 lei 598.46 lei
6-8 săpt.
-15%
Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver et al.
19 noi 2010
Paperback
Preț: 965.19 lei 1206.49 lei
6-8 săpt.
-20%
Set Theory for Computing
Autor Domenico Cantone et al.
21 sep 2011
Paperback
Preț: 959.60 lei 1199.50 lei
6-8 săpt.
-20%
A Discipline of Multiprogramming
Autor Jayadev Misra
5 sep 2012
Paperback
Preț: 337.84 lei 422.30 lei
6-8 săpt.
-20%
Active Rules in Database Systems
Editat de Norman W. Paton
6 noi 1998
Hardback
Preț: 962.27 lei 1202.84 lei
6-8 săpt.
-20%