Wyniki wyszukiwania:
wyszukanych pozycji: 3
 |
Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings
ISBN: 9783642386121 / Angielski / Miękka / 2013 / 443 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in...
|
cena:
194,97 zł |
 |
Fundamental Approaches to Software Engineering: 25th International Conference, Fase 2022, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783030994280 / Angielski / Miękka / 2022 / 364 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics... This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering... |
cena:
155,97 zł |
 |
Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, France, June 27-29, 2018, Proc
ISBN: 9783319929699 / Angielski / Miękka / 2018 / 303 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions.
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as par...
|
cena:
194,97 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
