Languages
Subject
Format
Availabity
Authors

Search result

Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... - ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... ZB 2002: Formal Specification and Development in Z and B English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christop Grimm, Christoph Grimm - Languages for System Specification
Christop Grimm, Christoph Grimm Languages for System Specification English 14.04.2009 Hardback Fr. 210.00 6-7 weeks
N. Carbonell, Noell Carbonell, Noelle Carbonell, Stephanidis, Stephanidis, C. Stephanidis... - Universal Access. Theoretical Perspectives, Practice, and Experience
N. Carbonell, Noell Carbonell, Noelle Carbonell, Stephanidis, Stephanidis, C. Stephanidis... Universal Access. Theoretical Perspectives, Practice, and Experience English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa - Developments in Language Theory
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa Developments in Language Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Markus Endler, Douglas Schmidt, Douglas C. Schmidt - Middleware 2003
Markus Endler, Douglas Schmidt, Douglas C. Schmidt Middleware 2003 English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Radhia Cousot - Static Analysis
Radhia Cousot Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
H. Hussmann, Heinrich Hußmann - Fundamental Approaches to Software Engineering
H. Hussmann, Heinrich Hußmann Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon - Foundations of Software Science and Computational Structures
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon Foundations of Software Science and Computational Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... - Applied Semantics
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... Applied Semantics English 07.10.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Butler, Luigia Petre, Kaisa Sere - Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere Integrated Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel - UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Don Batory, Charles Consel, Walid Taha - Generative Programming and Component Engineering
Don Batory, Charles Consel, Walid Taha Generative Programming and Component Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Krzystof Diks, Wojciech Rytter - Mathematical Foundations of Computer Science 2002
Krzystof Diks, Wojciech Rytter Mathematical Foundations of Computer Science 2002 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Pierpaolo Degano - Programming Languages and Systems
Pierpaolo Degano Programming Languages and Systems English 19.02.2009 Paperback / Softback Fr. 73.00 6-7 weeks
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young - Modeling and Using Context
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young Modeling and Using Context English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Reinhard Wilhelm, Reinhard Wilhelm - Compiler Construction
Reinhard Wilhelm, Reinhard Wilhelm Compiler Construction English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Toby Walsh - Principles and Practice of Constraint Programming - CP 2001
Toby Walsh Principles and Practice of Constraint Programming - CP 2001 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks