Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca nella categoria Libri (formalspecification)

Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu - Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu Engineering Trustworthy Software Systems Inglese 27.04.2025 Tascabile CHF 69.00 4-7 giorni lavorativi
Anne E Haxthausen, Anne E. Haxthausen, Serwe, Wendelin Serwe - Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Anne E Haxthausen, Anne E. Haxthausen, Serwe, Wendelin Serwe Formal Methods for Industrial Critical Systems Inglese 19.09.2024 Tascabile CHF 90.00 4-7 giorni lavorativi
Divya Gopinath, Nathaniel Benz, Divya Gopinath, Shi, Nija Shi - NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Divya Gopinath, Nathaniel Benz, Divya Gopinath, Shi, Nija Shi NASA Formal Methods Inglese 04.08.2024 Tascabile CHF 168.00 4-7 giorni lavorativi
Panagiotis Katsaros, Nenzi, Laura Nenzi - Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Panagiotis Katsaros, Nenzi, Laura Nenzi Runtime Verification Inglese 10.12.2023 Tascabile CHF 96.00 4-7 giorni lavorativi
Jonathan P. Bowen, Qin Li, Qiwen Xu - Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Jonathan P. Bowen, Qin Li, Qiwen Xu Theories of Programming and Formal Methods Inglese 10.09.2023 Tascabile CHF 96.00 4-7 giorni lavorativi
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 01.12.2020 Tascabile CHF 69.00 4-7 giorni lavorativi
Mauric H ter Beek, Maurice H ter Beek, Dejan Ni¿kovi¿, Nickovic, Nickovic, … - Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
Mauric H ter Beek, Maurice H ter Beek, Dejan Ni¿kovi¿, Nickovic, Nickovic, … Formal Methods for Industrial Critical Systems Inglese 01.11.2020 Tascabile CHF 69.00 4-7 giorni lavorativi
Wolfgan Ahrendt, Wolfgang Ahrendt, Lizeth Tapia Tarifa, Lizeth Tapia Tarifa, Silvia Lizeth Tapia Tarifa - Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
Wolfgan Ahrendt, Wolfgang Ahrendt, Lizeth Tapia Tarifa, Lizeth Tapia Tarifa, Silvia Lizeth Tapia Tarifa Integrated Formal Methods Inglese 01.02.2020 Tascabile CHF 69.00 4-7 giorni lavorativi
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 14.04.2019 Tascabile CHF 81.00 4-7 giorni lavorativi
Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian - Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian Structured Object-Oriented Formal Language and Method Inglese 09.02.2019 Tascabile CHF 69.00 4-7 giorni lavorativi
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z Inglese 08.05.2018 Tascabile CHF 69.00 4-7 giorni lavorativi
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems Inglese 12.04.2018 Tascabile CHF 69.00 4-7 giorni lavorativi
Alessandra Russo, Andy Schürr - Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Alessandra Russo, Andy Schürr Fundamental Approaches to Software Engineering Inglese 04.04.2018 Tascabile CHF 69.00 4-7 giorni lavorativi
Mark van den Brand, Esther Guerra, Mark van den Brand - Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Mark van den Brand, Esther Guerra, Mark van den Brand Theory and Practice of Model Transformation Inglese 20.06.2017 Tascabile CHF 69.00 4-7 giorni lavorativi
Clark Barrett, Misty Davies, Temesghen Kahsai - NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Clark Barrett, Misty Davies, Temesghen Kahsai NASA Formal Methods Inglese 09.04.2017 Tascabile CHF 69.00 4-7 giorni lavorativi
de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries - Programming Concepts and Methods PROCOMET '98 IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries Programming Concepts and Methods PROCOMET '98 Inglese 14.11.2013 Tascabile CHF 238.00 4-7 giorni lavorativi
Kevin Lano - Formal Object-Oriented Development
Kevin Lano Formal Object-Oriented Development Inglese 15.10.2013 Tascabile CHF 69.00 4-7 giorni lavorativi
Ja Vytopil, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems
Ja Vytopil, Jan Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems Inglese 02.08.2013 Tascabile CHF 188.00 4-7 giorni lavorativi
Brian T Graham, Brian T. Graham, Brian T. Graham - The SECD Microprocessor A Verification Case Study
Brian T Graham, Brian T. Graham, Brian T. Graham The SECD Microprocessor Inglese 02.08.2013 Tascabile CHF 134.00 4-7 giorni lavorativi
Ryszar Janicki, Ryszard Janicki, Peter E Lauer, Peter E. Lauer - Specification and Analysis of Concurrent Systems The COSY Approach
Ryszar Janicki, Ryszard Janicki, Peter E Lauer, Peter E. Lauer Specification and Analysis of Concurrent Systems Inglese 05.12.2012 Tascabile CHF 134.00 4-7 giorni lavorativi