Languages
Subject
Format
Availabity
Authors

Search result

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. 64.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Udo Voges - Computer Safety, Reliability and Security
Udo Voges Computer Safety, Reliability and Security English 10.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Philippe Codognet - Logic Programming
Philippe Codognet Logic Programming English 14.11.2001 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Agostino Cortesi - Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi Verification, Model Checking, and Abstract Interpretation English 24.04.2002 Paperback / Softback Fr. 70.00 6-7 weeks
M. Leuschel - Logic Based Program Synthesis and Transformation
M. Leuschel Logic Based Program Synthesis and Transformation English 18.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis English 04.07.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg - Theory Is Forever
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg Theory Is Forever English 29.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Jose Luiz Fiadeiro - Categories for Software Engineering
Jose Luiz Fiadeiro Categories for Software Engineering English 13.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks