Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Welf Löwe, Mario Südholt - Software Composition

Welf Löwe, Mario Südholt Software Composition English 29.08.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Roberto Bruni, Ugo Montanari, Donald Sannella - Trustworthy Global Computing

Roberto Bruni, Ugo Montanari, Donald Sannella Trustworthy Global Computing English 22.11.2007 Paperback / Softback Fr. 70.00 6-7 weeks

Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School

Zoltán Horváth, Zoltán Horváth Central European Functional Programming School English 02.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Luca Paolini, Simona Ronchi Della Rocca - The Parametric Lambda Calculus

Luca Paolini, Simona Ronchi Della Rocca The Parametric Lambda Calculus English 05.07.2004 Hardback Fr. 70.00 6-7 weeks

Ralf Lämmel, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering

Ralf Lämmel, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering English 29.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Frank Pfenning - Term Rewriting and Applications

Frank Pfenning Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... - Advanced Topics in Exception Handling Techniques

Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... Advanced Topics in Exception Handling Techniques English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages

Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems

Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Zoltá Ésik, Zoltán Ésik - Computer Science Logic

Zoltá Ésik, Zoltán Ésik Computer Science Logic English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks

David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle - Model Driven Engineering Languages and Systems

David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle Model Driven Engineering Languages and Systems English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Jifeng He, Zhiming Liu - Formal Methods and Software Engineering

Jifeng He, Zhiming Liu Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer - Modular Programming Languages

Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer Modular Programming Languages English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks

E. Sheratt, Ede Sherratt, Edel Sherratt - Telecommunications and beyond: The Broader Applicability of SDL and MSC

E. Sheratt, Ede Sherratt, Edel Sherratt Telecommunications and beyond: The Broader Applicability of SDL and MSC English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Thomas Ball, Sriram K. Rajamani - Model Checking Software

Thomas Ball, Sriram K. Rajamani Model Checking Software English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Michele Marchesi, Giancarlo Succi - Extreme Programming and Agile Processes in Software Engineering

Michele Marchesi, Giancarlo Succi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics

Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv - Hardware and Software, Verification and Testing

Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv Hardware and Software, Verification and Testing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Fran Baader, Franz Baader - Automated Deduction - CADE-19

Fran Baader, Franz Baader Automated Deduction - CADE-19 English 11.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
16
17
18
...
56