Languages
Subject
Format
Availabity
Authors

Search result

Marco Gribaudo, Daniel Manini, Daniele Manini, Anne Remke - Analytical and Stochastic Modelling Techniques and Applications
Marco Gribaudo, Daniel Manini, Daniele Manini, Anne Remke Analytical and Stochastic Modelling Techniques and Applications English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Susann Graf, Susanne Graf, Viswanathan, Viswanathan, Mahesh Viswanathan - Formal Techniques for Distributed Objects, Components, and Systems
Susann Graf, Susanne Graf, Viswanathan, Viswanathan, Mahesh Viswanathan Formal Techniques for Distributed Objects, Components, and Systems English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Nikola Bjørner, Nikolaj Bjørner, Frank de Boer, de Boer, de Boer, Frank de Boer - FM 2015: Formal Methods
Nikola Bjørner, Nikolaj Bjørner, Frank de Boer, de Boer, de Boer, Frank de Boer FM 2015: Formal Methods English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
To Holvoet, Tom Holvoet, Viroli, Viroli, Mirko Viroli - Coordination Models and Languages
To Holvoet, Tom Holvoet, Viroli, Viroli, Mirko Viroli Coordination Models and Languages English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Güdemann, Güdemann, Matthias Güdemann, Manuel Nunez, Manue Núñez, Manuel Núñez - Formal Methods for Industrial Critical Systems
Güdemann, Güdemann, Matthias Güdemann, Manuel Nunez, Manue Núñez, Manuel Núñez Formal Methods for Industrial Critical Systems English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Jua Antonio de la Puente, Juan Antonio de la Puente, Juan Antonio de la Puente, Juan Antonio de la Puente, Vardanega, Vardanega... - Reliable Software Technologies - Ada-Europe 2015
Jua Antonio de la Puente, Juan Antonio de la Puente, Juan Antonio de la Puente, Juan Antonio de la Puente, Vardanega, Vardanega... Reliable Software Technologies - Ada-Europe 2015 English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Cao Son, Cao Son, Enric Pontelli, Enrico Pontelli, Tran Cao Son - Practical Aspects of Declarative Languages
Cao Son, Cao Son, Enric Pontelli, Enrico Pontelli, Tran Cao Son Practical Aspects of Declarative Languages English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Ral Hinze, Ralf Hinze, Janis Voigtlander, Voigtländer, Voigtländer, Janis Voigtländer - Mathematics of Program Construction
Ral Hinze, Ralf Hinze, Janis Voigtlander, Voigtländer, Voigtländer, Janis Voigtländer Mathematics of Program Construction English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani - Reversible Computation
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani Reversible Computation English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Ignacio Aedo, Carmelo Ardito, Carmelo Ardito et al, Alexander Boden, Paloma Díaz, Carlos Jensen... - End-User Development
Ignacio Aedo, Carmelo Ardito, Carmelo Ardito et al, Alexander Boden, Paloma Díaz, Carlos Jensen... End-User Development English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Michael Butler, Sylvai Conchon, Sylvain Conchon, Fatiha Zaïdi - Formal Methods and Software Engineering
Michael Butler, Sylvai Conchon, Sylvain Conchon, Fatiha Zaïdi Formal Methods and Software Engineering English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Xuandong Li, Zhimin Liu, Zhiming Liu, Wang Yi - Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhimin Liu, Zhiming Liu, Wang Yi Dependable Software Engineering: Theories, Tools, and Applications English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Gerassimo Barlas, Gerassimos Barlas, Khaled El-Fakih, Nina Yevtushenko - Testing Software and Systems
Gerassimo Barlas, Gerassimos Barlas, Khaled El-Fakih, Nina Yevtushenko Testing Software and Systems English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Ni Piterman, Nir Piterman - Hardware and Software: Verification and Testing
Ni Piterman, Nir Piterman Hardware and Software: Verification and Testing English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Michae Felderer, Michael Felderer, Jürgen Grossmann, Jürgen Grossmann et al, Fredrik Seehusen, Marc-Florian Wendland - Risk Assessment and Risk-Driven Testing
Michae Felderer, Michael Felderer, Jürgen Grossmann, Jürgen Grossmann et al, Fredrik Seehusen, Marc-Florian Wendland Risk Assessment and Risk-Driven Testing English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Samue A Fricker, Samuel A Fricker, Samuel A. Fricker, Schneider, Schneider, Kurt Schneider - Requirements Engineering: Foundation for Software Quality
Samue A Fricker, Samuel A Fricker, Samuel A. Fricker, Schneider, Schneider, Kurt Schneider Requirements Engineering: Foundation for Software Quality English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten - It's All About Coordination
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten It's All About Coordination English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties - Requirements Engineering: Foundation for Software Quality
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties Requirements Engineering: Foundation for Software Quality English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina - New Opportunities for Software Reuse
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina New Opportunities for Software Reuse English 01.01.2018 Paperback / Softback Fr. 159.00 6-7 weeks