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
STACS 88
Editat de Robert Cori et al.
27 ian 1988
Paperback
Preț: 328.29 lei 410.37 lei
6-8 săpt.
-20%
Programming Language Implementation and Logic Programming
Editat de Jan Maluszynski et al.
14 aug 1991
Paperback
Preț: 329.94 lei 412.42 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%
Programming Language Implementation and Logic Programming
Editat de Maurice Bruynooghe et al.
12 aug 1992
Paperback
Preț: 336.49 lei 420.61 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%
Algebraic Methods: Theory, Tools and Applications
Editat de Martin Wirsing et al.
20 sep 1989
Paperback
Preț: 637.63 lei 797.04 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%
Elementare Aussagenlogik
Autor Friedrich L. Bauer et al.
28 mar 1991
Paperback
Preț: 346.14 lei 432.68 lei
6-8 săpt.
-20%
Methods of Programming
Editat de Manfred Broy et al.
23 oct 1991
Paperback
Preț: 321.56 lei 401.94 lei
6-8 săpt.
-20%
Algebraic Methodology and Software Technology
Editat de Martin Wirsing et al.
19 iun 1996
Paperback
Preț: 642.31 lei 802.90 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering
Editat de Marsha Chechik et al.
9 mar 2009
Paperback
Preț: 332.60 lei 415.75 lei
6-8 săpt.
-20%
Rigorous Software Engineering for Service-Oriented Systems
Editat de Martin Wirsing et al.
9 mai 2011
Paperback
Preț: 646.81 lei 808.51 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%
Knowledge Science, Engineering and Management
Editat de Songmao Zhang et al.
2 oct 2015
Paperback
Preț: 352.26 lei 440.33 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%
Java kompakt: Eine Einführung in die Software-Entwicklung mit Java
Autor Matthias Hölzl et al.
23 mar 2013
Paperback
Preț: 290.96 lei 363.70 lei
6-8 săpt.
-20%
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
Editat de Mauro Calise et al.
8 mai 2019
Paperback
Preț: 370.25 lei
6-8 săpt.
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%