Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca nella categoria Libri (ProgramAnalysis)

Timothy Bourke, Liqian Chen, Amir Goharshady - Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Timothy Bourke, Liqian Chen, Amir Goharshady Dependable Software Engineering. Theories, Tools, and Applications Inglese 25.11.2024 Tascabile CHF 109.00 4-7 giorni lavorativi
Jifeng He - The Fundamental Research for Trustworthy Software
Jifeng He The Fundamental Research for Trustworthy Software Inglese 24.11.2024 Tascabile CHF 178.00 4-7 giorni lavorativi
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon - TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon TOOLympics Challenge 2023 Inglese 05.10.2024 Tascabile CHF 76.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
Naoki Kobayashi, Worrell, James Worrell - Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Naoki Kobayashi, Worrell, James Worrell Foundations of Software Science and Computation Structures Inglese 01.06.2024 Tascabile CHF 55.90 4-7 giorni lavorativi
Stephanie Weirich - Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Stephanie Weirich Programming Languages and Systems Inglese 01.06.2024 Tascabile CHF 55.90 4-7 giorni lavorativi
Stephanie Weirich - Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Stephanie Weirich Programming Languages and Systems Inglese 01.06.2024 Tascabile CHF 55.90 4-7 giorni lavorativi
Jan K¿etínský, Stefan Kiefer, Jan Kretínský, Antonín Ku¿era, Antonín Kucera - Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Jan K¿etínský, Stefan Kiefer, Jan Kretínský, Antonín Ku¿era, Antonín Kucera Taming the Infinities of Concurrency Inglese 20.04.2024 Tascabile CHF 168.00 4-7 giorni lavorativi
Naoki Kobayashi, Worrell, James Worrell - Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Naoki Kobayashi, Worrell, James Worrell Foundations of Software Science and Computation Structures Inglese 06.04.2024 Tascabile CHF 55.90 4-7 giorni lavorativi
Antonio Cerone - Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Antonio Cerone Formal Methods for an Informal World Inglese 01.02.2024 Tascabile CHF 69.00 4-7 giorni lavorativi
Lei Bu, Holger Hermanns, Jun Sun - Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
Lei Bu, Holger Hermanns, Jun Sun Dependable Software Engineering. Theories, Tools, and Applications Inglese 07.01.2024 Tascabile CHF 109.00 4-7 giorni lavorativi
Chung-Kil Hur - Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Chung-Kil Hur Programming Languages and Systems Inglese 22.12.2023 Tascabile CHF 83.00 4-7 giorni lavorativi
Étienne André, Sun, Jun Sun - Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Étienne André, Sun, Jun Sun Automated Technology for Verification and Analysis Inglese 28.11.2023 Tascabile CHF 109.00 4-7 giorni lavorativi
Étienne André, Sun, Jun Sun - Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Étienne André, Sun, Jun Sun Automated Technology for Verification and Analysis Inglese 28.11.2023 Tascabile CHF 103.00 4-7 giorni lavorativi
Jifeng He - The Fundamental Research for Trustworthy Software
Jifeng He The Fundamental Research for Trustworthy Software Inglese 09.11.2023 Copertina rigida CHF 178.00 1-2 settimane
Stephen Chang - Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Stephen Chang Trends in Functional Programming Inglese 12.10.2023 Tascabile CHF 76.00 4-7 giorni lavorativi
Patricia Bouyer, Schröder, Lutz Schröder - Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Patricia Bouyer, Schröder, Lutz Schröder Foundations of Software Science and Computation Structures Inglese 01.01.2022 Tascabile CHF 55.90 4-7 giorni lavorativi
Esthe Guerra, Esther Guerra, Stoelinga, Stoelinga, Mariëlle Stoelinga - Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Esthe Guerra, Esther Guerra, Stoelinga, Stoelinga, Mariëlle Stoelinga Fundamental Approaches to Software Engineering Inglese 01.01.2021 Tascabile CHF 55.90 4-7 giorni lavorativi
Alessandra Di Pierro, Pasqual Malacaria, Pasquale Malacaria, Rajagopal Nagarajan - From Lambda Calculus to Cybersecurity Through Program Analysis Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Alessandra Di Pierro, Pasqual Malacaria, Pasquale Malacaria, Rajagopal Nagarajan From Lambda Calculus to Cybersecurity Through Program Analysis Inglese 01.04.2020 Tascabile CHF 69.00 4-7 giorni lavorativi
Yu-Fang Chen, Chih-Hon Cheng, Chih-Hong Cheng, Javier Esparza - Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
Yu-Fang Chen, Chih-Hon Cheng, Chih-Hong Cheng, Javier Esparza Automated Technology for Verification and Analysis Inglese 01.01.2019 Tascabile CHF 69.00 4-7 giorni lavorativi