Languages
Subject
Format
Availabity
Authors

Search result

Nataraja Shankar, Natarajan Shankar, Woodcock, Woodcock, Jim Woodcock - Verified Software: Theories, Tools, Experiments
Nataraja Shankar, Natarajan Shankar, Woodcock, Woodcock, Jim Woodcock Verified Software: Theories, Tools, Experiments English 01.01.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Blandford, Blandford, Ann Blandford, Gavi Doherty, Gavin Doherty - Interactive Systems. Design, Specification, and Verification
Blandford, Blandford, Ann Blandford, Gavi Doherty, Gavin Doherty Interactive Systems. Design, Specification, and Verification English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Maria Teresa Baldassarre, Jens Heidrich, Andreas Jedlitschka, Andreas Jedlitschka et al, Markk Oivo, Markku Oivo - Product-Focused Software Process Improvement
Maria Teresa Baldassarre, Jens Heidrich, Andreas Jedlitschka, Andreas Jedlitschka et al, Markk Oivo, Markku Oivo Product-Focused Software Process Improvement English 03.06.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Dimitri Kolovos, Dimitris Kolovos, Wimmer Manuel, Wimmer, Wimmer, Manuel Wimmer - Theory and Practice of Model Transformations
Dimitri Kolovos, Dimitris Kolovos, Wimmer Manuel, Wimmer, Wimmer, Manuel Wimmer Theory and Practice of Model Transformations English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
BORDELEAU, Bordeleau, Francis Bordeleau, Gabriel Taentzer, Gabriele Taentzer - Modelling Foundations and Applications
BORDELEAU, Bordeleau, Francis Bordeleau, Gabriel Taentzer, Gabriele Taentzer Modelling Foundations and Applications English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Jasmin Christian Blanchette, Jasmi Christian Blanchette, Jasmin Christian Blanchette, Kosmatov, Kosmatov, Nikolai Kosmatov - Tests and Proofs
Jasmin Christian Blanchette, Jasmi Christian Blanchette, Jasmin Christian Blanchette, Kosmatov, Kosmatov, Nikolai Kosmatov Tests and Proofs English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Khosravi, Khosravi, Ramtin Khosravi, Olg Kouchnarenko, Olga Kouchnarenko - Formal Aspects of Component Software
Khosravi, Khosravi, Ramtin Khosravi, Olg Kouchnarenko, Olga Kouchnarenko Formal Aspects of Component Software English 30.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Ekkart Kindler, Ekkart Kindler et al, Dimitris Kolovos, Harald Störrle, Juha-Pekk Tolvanen, Juha-Pekka Tolvanen... - Modelling Foundations and Applications
Ekkart Kindler, Ekkart Kindler et al, Dimitris Kolovos, Harald Störrle, Juha-Pekk Tolvanen, Juha-Pekka Tolvanen... Modelling Foundations and Applications English 04.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Juiz, Juiz, Carlos Juiz, Nige Thomas, Nigel Thomas - Computer Performance Engineering
Juiz, Juiz, Carlos Juiz, Nige Thomas, Nigel Thomas Computer Performance Engineering English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Giusepp Castagna, Giuseppe Castagna - ECOOP 2013 -- Object-Oriented Programming
Giusepp Castagna, Giuseppe Castagna ECOOP 2013 -- Object-Oriented Programming English 27.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Matjaz Debevc, Martin Hitz, Martin Hitz et al, Andreas Holzinger, Martin Ziefle, Martina Ziefle - Human Factors in Computing and Informatics
Matjaz Debevc, Martin Hitz, Martin Hitz et al, Andreas Holzinger, Martin Ziefle, Martina Ziefle Human Factors in Computing and Informatics English 27.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Perseil, Perseil, Isabelle Perseil, Jen Weber, Jens Weber - Foundations of Health Information Engineering and Systems
Perseil, Perseil, Isabelle Perseil, Jen Weber, Jens Weber Foundations of Health Information Engineering and Systems English 27.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Margu Veanes, Margus Veanes, Vigano, Vigano, Luca Vigano - Tests and Proofs
Margu Veanes, Margus Veanes, Vigano, Vigano, Luca Vigano Tests and Proofs English 17.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Gerhard W. Dueck, Michael Miller, Michael Miller, D. Michael Miller, Gerhar W Dueck, Gerhard W Dueck - Reversible Computation
Gerhard W. Dueck, Michael Miller, Michael Miller, D. Michael Miller, Gerhar W Dueck, Gerhard W Dueck Reversible Computation English 17.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Victo Pankratius, Victor Pankratius, Philippsen, Philippsen, Michael Philippsen - Multicore Software Engineering, Performance and Tools
Victo Pankratius, Victor Pankratius, Philippsen, Philippsen, Michael Philippsen Multicore Software Engineering, Performance and Tools English 18.05.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Carlos Cunha, Carlos Cunha, Joao Carlos Cunha, Marc Vieira, Marco Vieira - Dependable Computing
Carlos Cunha, Carlos Cunha, Joao Carlos Cunha, Marc Vieira, Marco Vieira Dependable Computing English 10.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Fähndrich, Fähndrich, Manuel Fähndrich, Francesc Logozzo, Francesco Logozzo - Static Analysis
Fähndrich, Fähndrich, Manuel Fähndrich, Francesc Logozzo, Francesco Logozzo Static Analysis English 10.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... - Formal Methods for Dynamical Systems
Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... Formal Methods for Dynamical Systems English 10.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel - Theory and Practice of Model Transformations
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel Theory and Practice of Model Transformations English 10.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks