Languages
Subject
Format
Availabity
Authors

Search result

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)
Egon Börger, Joachim Schmid, Robert F. Stärk - Java and the Java Virtual Machine
Egon Börger, Joachim Schmid, Robert F. Stärk Java and the Java Virtual Machine English 23.08.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi - Advances in Exception Handling Techniques
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi Advances in Exception Handling Techniques English 04.04.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)
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)
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)
Jose Luiz Fiadeiro - Categories for Software Engineering
Jose Luiz Fiadeiro Categories for Software Engineering English 13.10.2010 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)
Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems English 12.06.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns - Software Architecture
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns Software Architecture English 26.08.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jordi Cabot, Julia Rubin - Modelling Foundations and Applications
Jordi Cabot, Julia Rubin Modelling Foundations and Applications English 05.08.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)
Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder - Implementation and Application of Functional Languages
Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder Implementation and Application of Functional Languages English 30.05.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Lea Kutvonen - Distributed Applications and Interoperable Systems
Lea Kutvonen Distributed Applications and Interoperable Systems English 01.06.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ouyang Chun, Chun Ouyang, Emilio Tuosto - Web Services and Formal Methods
Ouyang Chun, Chun Ouyang, Emilio Tuosto Web Services and Formal Methods English 25.07.2014 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum - Declarative Agent Languages and Technologies II
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum Declarative Agent Languages and Technologies II English 16.06.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Peter Van Roy, Peter Van Roy - Multiparadigm Programming in Mozart/Oz
Peter Van Roy, Peter Van Roy Multiparadigm Programming in Mozart/Oz English 01.03.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Tullio Vardanega, Andy Wellings - Reliable Software Technology - Ada-Europe 2005
Tullio Vardanega, Andy Wellings Reliable Software Technology - Ada-Europe 2005 English 08.06.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Marco Bernardo, Jane Hillston - Formal Methods for Performance Evaluation
Marco Bernardo, Jane Hillston Formal Methods for Performance Evaluation English 18.05.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Wolfgang Grieskamp, Carsten Weise - Formal Approaches to Software Testing
Wolfgang Grieskamp, Carsten Weise Formal Approaches to Software Testing English 30.05.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)