Radu Calinescu – författare
Visar alla böcker från författaren Radu Calinescu. Handla med fri frakt och snabb leverans.
12 produkter
Software Engineering for Resilient Systems
11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Av Radu Calinescu, Felicita Di Giandomenico
Häftad, 2019
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed …
Software Engineering for Resilient Systems
11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Av Felicita Di Giandomenico, Radu Calinescu
E-bok, 2019
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019. The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed …
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Av Radu Calinescu, Corina S. Păsăreanu
Häftad, 2021
904 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. …
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Av Corina S. Pasareanu, Radu Calinescu
E-bok, 2021
1138 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. …
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Av Radu Calinescu, Bernhard Rumpe
Häftad, 2015
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 …
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Av Bernhard Rumpe, Radu Calinescu
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 …
Foundations of Computer Software
Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers
Av Radu Calinescu, Ethan Jackson
Häftad, 2011
568 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive …
Foundations of Computer Software
Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers
Av Ethan Jackson, Radu Calinescu
E-bok, 2011
755 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive …
Large-Scale Complex IT Systems. Development, Operation and Management
17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Av Radu Calinescu, David Garlan
Häftad, 2012
568 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012.The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full …
Large-Scale Complex IT Systems. Development, Operation and Management
17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Av David Garlan, Radu Calinescu
E-bok, 2012
755 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012.The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full …
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Av Domenico Bianculli, Radu Calinescu m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed andselected from 32 submissions. The satellite …
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Av Bernhard Rumpe, Radu Calinescu m. fl.
E-bok, 2016
718 kr
Lägg i varukorg
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite …
