Elvira Albert - Böcker
Visar alla böcker från författaren Elvira Albert. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
475 kr
Kommande
This open access book constitutes the proceedings of the 29th International Conference on Fundamental Approaches to Software Engineering, FASE 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11–16, 2026.The 21 full papers and 6 short tool competition papers included in this volume, together with one invited keynote paper, were carefully reviewed and selected from 65 submissions. The papers cover the following topical sections: Software Engineering and AI; Advanced Software Development; Autonomous Systems and Applications; and Competition on Software Testing (Test-Comp 2026).
Del 8739 - Lecture Notes in Computer Science
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Häftad, Engelska, 2014
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
Del 9688 - Lecture Notes in Computer Science
Formal Techniques for Distributed Objects, Components, and Systems
36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Häftad, Engelska, 2016
552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.
Logic-Based Program Synthesis and Transformation
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Häftad, Engelska, 2013
493 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.