{"title":"Radu Calinescu","description":null,"products":[{"product_id":"software-engineering-for-resilient-systems-springer-nature-switzerland-ag-9783030308551-11th-international-workshop-serene-2019-naples-italy-september-17-2019-proceedings-radu-calinescu","title":"Software Engineering for Resilient Systems","description":"\u003cp\u003eExplore the essential insights of \"Software Engineering for Resilient Systems\" by Radu Calinescu, published by Springer Nature Switzerland AG in 2019. This compelling work encapsulates the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems (SERENE 2019), held in Naples, Italy. With 157 pages of rich content, the book presents 5 full papers, 4 concise papers, alongside an informative keynote and invited paper, all meticulously reviewed to ensure high-quality contributions from a competitive pool of 12 submissions. Ideal for professionals and academics alike, this book provides invaluable strategies and frameworks aimed at enhancing the resilience of software systems. Stay ahead in the field of software engineering with this authoritative text that bridges theory and practice.\u003c\/p\u003e","brand":"Radu Calinescu","offers":[{"title":"Default Title","offer_id":52228418306390,"sku":"9783030308551","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030308551.jpg?v=1767743315"},{"product_id":"software-engineering-and-formal-methods-springer-international-publishing-ag-9783319229683-13th-international-conference-sefm-2015-york-uk-september-7-11-2015-proceedings-radu-calinescu","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eExplore the cutting-edge world of software engineering with \u003cstrong\u003eSoftware Engineering and Formal Methods\u003c\/strong\u003e by Radu Calinescu, published by Springer International Publishing AG in 2015. This comprehensive volume gathers the refereed proceedings of the esteemed 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), which took place in York, UK. \u003c\/p\u003e \n\n\u003cp\u003eWith 369 pages of insightful research, this book features 17 full papers, along with 2 invited talks and 6 short papers, all meticulously reviewed and selected from an impressive pool of 96 submissions. It offers a wealth of knowledge for professionals, researchers, and students who are eager to delve into the latest advancements and methodologies in software engineering. Enhance your understanding and stay ahead in this dynamic field with this essential read.\u003c\/p\u003e","brand":"Radu Calinescu","offers":[{"title":"Default Title","offer_id":52228419158358,"sku":"9783319229683","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319229683.jpg?v=1767743316"},{"product_id":"software-engineering-and-formal-methods-springer-nature-switzerland-ag-9783030921231-19th-international-conference-sefm-2021-virtual-event-december-6-10-2021-proceedings-radu-calinescu","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Software Engineering and Formal Methods,\" authored by Radu Calinescu and published by Springer Nature Switzerland AG in 2021. This comprehensive volume features the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM 2021), which took place virtually in December 2021. With a total of 522 pages, this first edition presents 22 full papers and 4 short papers, all meticulously reviewed and selected from an impressive 86 submissions. Ideal for professionals and researchers in the field, this book delves into the latest advancements and methodologies in software engineering, providing valuable knowledge for enhancing your understanding and application of formal methods. Enhance your library with this essential resource today!\u003c\/p\u003e","brand":"Radu Calinescu","offers":[{"title":"Default Title","offer_id":52259413688662,"sku":"9783030921231","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030921231.jpg?v=1767789976"}],"url":"https:\/\/www.englishbook.pl\/collections\/radu-calinescu.oembed","provider":"Bookshop","version":"1.0","type":"link"}