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. 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)
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)
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)
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)
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis English 04.07.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages English 20.05.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering English 11.10.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero - Computing with Foresight and Industry
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero Computing with Foresight and Industry English 19.06.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 81.00 1-2 weeks (title will be printed to order)
Michal Hospodár, Galina Jirásková - Implementation and Application of Automata
Michal Hospodár, Galina Jirásková Implementation and Application of Automata English 27.06.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek - Computational Methods in Systems Biology
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek Computational Methods in Systems Biology English 05.09.2018 Paperback / Softback Fr. 83.00 1-2 weeks (title will be printed to order)
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems English 23.02.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Asaf Adi, Suzette Stoutenburg, Said Tabet - Rules and Rule Markup Languages for the Semantic Web
Asaf Adi, Suzette Stoutenburg, Said Tabet Rules and Rule Markup Languages for the Semantic Web English 04.11.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
José Luiz Fiadeiro, Pierre-Yves Schobbens - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Pierre-Yves Schobbens Recent Trends in Algebraic Development Techniques English 24.04.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Welf Löwe, Mario Südholt - Software Composition
Welf Löwe, Mario Südholt Software Composition English 29.08.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)