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
Adapting Proofs-As-Programs
Autor Iman Poernomo et al.
21 iun 2005
Hardback
Preț: 957.64 lei 1197.05 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ț: 326.05 lei 407.56 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2005
Editat de Dang Van Hung et al.
4 oct 2005
Paperback
Preț: 640.88 lei 801.10 lei
6-8 săpt.
-20%
Recent Trends in Algebraic Development Techniques
Editat de Martin Wirsing et al.
24 noi 2003
Paperback
Preț: 330.96 lei 413.70 lei
6-8 săpt.
-20%
STACS 87
Editat de Franz J. Brandenburg et al.
11 feb 1987
Paperback
Preț: 414.68 lei 518.36 lei
6-8 săpt.
-20%
Web Engineering
Editat de Nora Koch et al.
14 iul 2004
Paperback
Preț: 641.69 lei 802.12 lei
6-8 săpt.
-20%
Software Engineering for Collective Autonomic Systems
Editat de Martin Wirsing et al.
18 mar 2015
Paperback
Preț: 335.05 lei 418.81 lei
6-8 săpt.
-20%