Languages
Subject
Format
Availabity
Authors

Search result

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
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming English 24.04.2019 Paperback / Softback Fr. 77.00 6-7 weeks
Jonathan Protzenko, Raad, Azalea Raad - Verified Software. Theories, Tools and Experiments
Jonathan Protzenko, Raad, Azalea Raad Verified Software. Theories, Tools and Experiments English 17.04.2025 Paperback / Softback Fr. 70.00 6-7 weeks
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... - Testing Software and Systems
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... Testing Software and Systems English 19.01.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English Paperback / Softback Fr. 168.00 Will be released 06.08.2025