Adapting Proofs-as-Programs: The Curry--Howard Protocol
Autor Iman Poernomo et al.
19 noi 2010
Paperback
Preț: 955.14 lei 1193.93 lei
6-8 săpt.
-20%
Cărți de Martin Wirsing
Software-Intensive Systems and New Computing Paradigms
Editat de Martin Wirsing et al.
6 noi 2008
Paperback
Preț: 320.16 lei 400.20 lei
6-8 săpt.
-20%
Adapting Proofs-As-Programs
Autor Iman Poernomo et al.
21 iun 2005
Hardback
Preț: 961.50 lei 1201.87 lei
6-8 săpt.
-20%
Radical Innovations of Software and Systems Engineering in the Future
Editat de Martin Wirsing et al.
18 mar 2004
Paperback
Preț: 325.06 lei 406.33 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2005
Editat de Dang Van Hung et al.
4 oct 2005
Paperback
Preț: 638.90 lei 798.63 lei
6-8 săpt.
-20%
Recent Trends in Algebraic Development Techniques
Editat de Martin Wirsing et al.
24 noi 2003
Paperback
Preț: 329.95 lei 412.43 lei
6-8 săpt.
-20%
STACS 87
Editat de Franz J. Brandenburg et al.
11 feb 1987
Paperback
Preț: 413.41 lei 516.76 lei
6-8 săpt.
-20%
Web Engineering
Editat de Nora Koch et al.
14 iul 2004
Paperback
Preț: 639.70 lei 799.63 lei
6-8 săpt.
-20%
Software Engineering for Collective Autonomic Systems
Editat de Martin Wirsing et al.
18 mar 2015
Paperback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-20%