"Formal Methods"

11 uitgaven gevonden

Populaire rubrieken

Management, psychologie & wetenschap

• Formal Methods and Software Engineering   Engelstalig Paperback 9783540204619 Oktober 2003 700 pagina's This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003... Vanaf 123,00 Bekijk exemplaren
• Arqueologia y Techne: Metodos formales, nuevos enfoques   Engelstalig Paperback 9781803271811 Februari 2022 214 pagina's Presents papers resulting from the EPNet project (Production and Distribution of Food during the Roman Empire: Economic and Political Dynamics) which aimed to investigate existing hypotheses... Vanaf 49,95 Bekijk exemplaren
• Formal Methods for Multi-Agent Feedback Control Systems Lars Lindemann, Dimos V. Dimarogonas Engelstalig Paperback 9780262049719 April 2025 328 pagina's Vanaf 99,49 Bekijk exemplaren
• Formal Methods for Industrial Critical Systems   Engelstalig Paperback 9783032009418 Augustus 2025 297 pagina's Vanaf 65,95 Bekijk exemplaren
• Research Methods for Librarians and Educators   Engelstalig Paperback 9781440849626 April 2018 328 pagina's Using an innovative, real-world approach that makes the research problem and method relevant and valuable to the reader, this book provides a broad overview of research methods used in... Vanaf 69,95 Bekijk exemplaren
• Integrated Formal Methods   Engelstalig Paperback 9783031077265 Juni 2022 373 pagina's This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers... Vanaf 80,99 Bekijk exemplaren
• Formal Methods, Informally Carroll (University of New South Wales Morgan Engelstalig Paperback 9781009421027 Januari 2026 374 pagina's Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook. The author draws on decades of teaching and industrial experience to... Vanaf 55,95 Bekijk exemplaren
• Formal Methods for Software Engineering Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider Engelstalig Paperback 9783030388027 Juni 2023 524 pagina's Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some... Vanaf 67,99 Bekijk exemplaren
• Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification   Engelstalig Paperback 9783031753794 Oktober 2024 406 pagina's The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took... Vanaf 80,99 Bekijk exemplaren
• Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles   Engelstalig Paperback 9783031198489 Oktober 2022 598 pagina's This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022,... Vanaf 89,49 Bekijk exemplaren
• Formal Methods: Foundations and Applications   Engelstalig Paperback 9783319708478 November 2017 305 pagina's This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers... Vanaf 67,99 Bekijk exemplaren