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

Akos Frohner - Object-Oriented Technology: ECOOP 2001 Workshop Reader

Akos Frohner Object-Oriented Technology: ECOOP 2001 Workshop Reader English 02.05.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Dragan Bosnacki, Stefan Leue - Model Checking Software

Dragan Bosnacki, Stefan Leue Model Checking Software English 27.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz - Advanced Symbolic Analysis for Compilers

T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz Advanced Symbolic Analysis for Compilers English 07.04.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Frank Maurer, Don Wells - Extreme Programming and Agile Methods - XP/Agile Universe 2003

Frank Maurer, Don Wells Extreme Programming and Agile Methods - XP/Agile Universe 2003 English 29.07.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons - Generic Programming

Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons Generic Programming English 29.09.2003 Paperback / Softback Fr. 63.00 1-2 weeks (title will be printed to order)

Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures

Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures English 12.09.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Raymond T. Boute, C. N. Dean, C. Neville Dean - Teaching Formal Methods

Raymond T. Boute, C. N. Dean, C. Neville Dean Teaching Formal Methods English 17.11.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Udo Voges - Computer Safety, Reliability and Security

Udo Voges Computer Safety, Reliability and Security English 10.10.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Philippe Codognet - Logic Programming

Philippe Codognet Logic Programming English 14.11.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics

Richard J. Boulton, Paul B. Jackson Theorem Proving in Higher Order Logics English 22.08.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Don Wells, Lauris Williams - Extreme Programming and Agile Methods - XP/Agile Universe 2002

Don Wells, Lauris Williams Extreme Programming and Agile Methods - XP/Agile Universe 2002 English 24.07.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction

Eerke A. Boiten, Bernhard Möller Mathematics of Program Construction English 26.06.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Zhenjiang Hu, Mario Rodriquez-Artalejo - Functional and Logic Programming

Zhenjiang Hu, Mario Rodriquez-Artalejo Functional and Logic Programming English 02.09.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Quentin Limbourg, Bodo Urban, Jean Vanderdonckt - Interactive Systems: Design, Specification, and Verification

Quentin Limbourg, Bodo Urban, Jean Vanderdonckt Interactive Systems: Design, Specification, and Verification English 19.12.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jean-Marc Champarnaud, Denis Maurel - Implementation and Application of Automata

Jean-Marc Champarnaud, Denis Maurel Implementation and Application of Automata English 23.06.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen Lectures on Formal Methods and Performance Analysis English 29.08.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Daniel Le Metayer - Programming Languages and Systems

Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan - Practical Aspects of Declarative Languages

Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan Practical Aspects of Declarative Languages English 09.01.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Agostino Cortesi - Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi Verification, Model Checking, and Abstract Interpretation English 24.04.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

M. Leuschel - Logic Based Program Synthesis and Transformation

M. Leuschel Logic Based Program Synthesis and Transformation English 18.06.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
65