Languages
Subject
Format
Availabity
Authors

Search result

Arbel, Arbel, Eli Arbel, Roderic Bloem, Roderick Bloem - Hardware and Software: Verification and Testing
Arbel, Arbel, Eli Arbel, Roderic Bloem, Roderick Bloem Hardware and Software: Verification and Testing English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Pekka Abrahamsson, Sousuke Amasaki, Michael Felderer, Michel Felderer, Andrea Jedlitschka, Andreas Jedlitschka... - Product-Focused Software Process Improvement
Pekka Abrahamsson, Sousuke Amasaki, Michael Felderer, Michel Felderer, Andrea Jedlitschka, Andreas Jedlitschka... Product-Focused Software Process Improvement English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez - Runtime Verification
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez Runtime Verification English 30.11.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro - Search Based Software Engineering
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro Search Based Software Engineering English 30.11.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Mar Lawford, Mark Lawford, Shaoying Liu, Kazuhiro Ogata - Formal Methods and Software Engineering
Mar Lawford, Mark Lawford, Shaoying Liu, Kazuhiro Ogata Formal Methods and Software Engineering English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess - Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things
Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods English 01.01.2016 Paperback / Softback Fr. 110.00 6-7 weeks
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hai Jin, Qingyan Wang, Qingyang Wang, Liang-Jie Zhang - Web Services - ICWS 2018
Hai Jin, Qingyan Wang, Qingyang Wang, Liang-Jie Zhang Web Services - ICWS 2018 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis - Embedded Systems Design
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis Embedded Systems Design English 23.06.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani - Principles of Modeling
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani Principles of Modeling English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... - Formal Methods
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... Formal Methods English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... - Formal Methods for Industrial Critical Systems
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... Formal Methods for Industrial Critical Systems English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Carlos E. Cuesta, Davi Garlan, David Garlan, Jennifer Pérez - Software Architecture
Carlos E. Cuesta, Davi Garlan, David Garlan, Jennifer Pérez Software Architecture English 01.01.2018 Paperback / Softback Fr. 92.00 6-7 weeks
Antóni Casimiro, António Casimiro, Pedro M. Ferreira, M Ferreira, M Ferreira - Reliable Software Technologies - Ada-Europe 2018
Antóni Casimiro, António Casimiro, Pedro M. Ferreira, M Ferreira, M Ferreira Reliable Software Technologies - Ada-Europe 2018 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo - Modelling Foundations and Applications
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo Modelling Foundations and Applications English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Joh Hooker, John Hooker - Principles and Practice of Constraint Programming
Joh Hooker, John Hooker Principles and Practice of Constraint Programming English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks