2022, "Formal Methods"

3 uitgaven gevonden

Populaire rubrieken

Management, psychologie & wetenschap

• 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
• 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 84,95 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 94,00 Bekijk exemplaren