Hybrid Systems: Computation and Control
Editat de Freek Wiedijk et al.
18 mar 2003
Paperback
Preț: 638.02 lei 797.52 lei
43-57 zile
-20%
Cărți de Freek Wiedijk
The Seventeen Provers of the World: Foreword by Dana S. Scott
Editat de Freek Wiedijk
3 feb 2006
Paperback
Preț: 342.34 lei 427.92 lei
43-57 zile
-20%
Types for Proofs and Programs
Editat de Herman Geuvers et al.
28 apr 2003
Paperback
Preț: 324.41 lei 405.51 lei
43-57 zile
-20%
Intelligent Computer Mathematics
Editat de Serge Autexier et al.
16 iul 2008
Paperback
Preț: 338.53 lei 423.15 lei
43-57 zile
-20%
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Editat de Marko Van Eekelen et al.
2 aug 2011
Paperback
Preț: 326.55 lei 408.19 lei
43-57 zile
-20%