Languages
Subject
Format
Availabity
Authors

Search result

Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2007
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon Reliable Software Technologies - Ada-Europe 2007 English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof English 05.08.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
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren - Theory and Applications of Formal Argumentation
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren Theory and Applications of Formal Argumentation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Sergei V Chekanov, Sergei V. Chekanov - Numeric Computation and Statistical Data Analysis on the Java Platform
Sergei V Chekanov, Sergei V. Chekanov Numeric Computation and Statistical Data Analysis on the Java Platform English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments English 04.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs English 20.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages English 14.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Hubert Baumeister, Jutta Eckstein - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Jutta Eckstein Extreme Programming and Agile Processes in Software Engineering English 01.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Emmerich, Alexander L. Wolf - Component Deployment
Wolfgang Emmerich, Alexander L. Wolf Component Deployment English 11.05.2004 Paperback / Softback Fr. 73.00 6-7 weeks
Don Batory, Charles Consel, Christian Lengauer, Martin Odersky - Domain-Specific Program Generation
Don Batory, Charles Consel, Christian Lengauer, Martin Odersky Domain-Specific Program Generation English 24.05.2004 Paperback / Softback Fr. 70.00 6-7 weeks
S. Melnik, Sergey Melnik - Generic Model Management
S. Melnik, Sergey Melnik Generic Model Management English 28.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan - Objects, Agents, and Features
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan Objects, Agents, and Features English 02.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier - Extreme Programming and Agile Methods - XP/Agile Universe 2004
Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier Extreme Programming and Agile Methods - XP/Agile Universe 2004 English 03.08.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Henk Schepers - Software and Compilers for Embedded Systems
Henk Schepers Software and Compilers for Embedded Systems English 23.08.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software English 21.06.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments
Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments English 15.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis
Vladimir Itsykson, Andre Scedrov, Victor Zakharov Tools and Methods of Program Analysis English 30.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Leucker - Runtime Verification
Martin Leucker Runtime Verification English 23.10.2008 Paperback / Softback Fr. 69.00 6-7 weeks