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

J. Crossley, J. N. Crossley, John Crossley, John N Crossley, John N. Crossley, I. H. Poernomo... - Adapting Proofs-as-Programs

J. Crossley, J. N. Crossley, John Crossley, John N Crossley, John N. Crossley, I. H. Poernomo... Adapting Proofs-as-Programs English 09.08.2005 Hardback Fr. 203.00 6-7 weeks

Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis

Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition

Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz Software Composition English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi - Agile Processes in Software Engineering and Extreme Programming

Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi Agile Processes in Software Engineering and Extreme Programming English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks

Henri Habrias, Mar Frappier, Marc Frappier, HABRIAS, Habrias, Henri Habrias - Software Specification Methods

Henri Habrias, Mar Frappier, Marc Frappier, HABRIAS, Habrias, Henri Habrias Software Specification Methods English 01.01.2000 Paperback / Softback Fr. 147.00 6-7 weeks

S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features

S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features English 02.12.2013 Paperback / Softback Fr. 120.00 6-7 weeks

Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems

Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... - Software Architectures, Components, and Applications

Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... Software Architectures, Components, and Applications English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks

Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader

Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks

Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures

Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Tulli Ceccherini-Silberstein, Tullio Ceccherini-Silberstein, Michel Coornaert - Cellular Automata and Groups

Tulli Ceccherini-Silberstein, Tullio Ceccherini-Silberstein, Michel Coornaert Cellular Automata and Groups English 04.10.2012 Paperback / Softback Fr. 147.00 6-7 weeks

Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods

Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker - Abstraction, Reformulation and Approximation

Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker Abstraction, Reformulation and Approximation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20

Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming

Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering

BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming

Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks

M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual

M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual English 29.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks

B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support

B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support English 18.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks

Atsushi Ohori - Programming Languages and Systems

Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
8
9
10
...
38