14 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
14 results

Your search for Radu Calinescu

  1. Cover: Software Engineering and Formal Methods - Springer
    Radu Calinescu | Corina S. Pasareanu
    Software Engineering and Formal Methods
    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    12/2021
    Springer
    9783030921248 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  2. Cover: Software Engineering for Resilient Systems - Springer
    Radu Calinescu | Felicita Di Giandomenico
    Software Engineering for Resilient Systems
    11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
    09/2019
    Springer
    9783030308568 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Software Engineering and Formal Methods - Springer
    Radu Calinescu | Bernhard Rumpe
    Software Engineering and Formal Methods
    13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
    08/2015
    Springer
    9783319229690 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Software Engineering and Formal Methods - Springer
    Domenico Bianculli | Radu Calinescu | Bernhard Rumpe
    Software Engineering and Formal Methods
    SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
    01/2016
    Springer
    9783662492246 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Large-Scale Complex IT Systems. Development, Operation and Management - Springer
    Radu Calinescu | David Garlan
    Large-Scale Complex IT Systems. Development, Operation and Management
    17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
    10/2012
    Springer
    9783642340598 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Foundations of Computer Software - Springer
    Radu Calinescu | Ethan Jackson
    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
    05/2011
    Springer
    9783642212925 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Foundations of Computer Software - Springer
    Radu Calinescu | Ethan Jackson
    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
    05/2011
    1st EDN1st Edition
    Springer
    9783642212918 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  8. Cover: Software Engineering and Formal Methods - Springer
    Radu Calinescu | Corina S. Pasareanu
    Software Engineering and Formal Methods
    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    12/2021
    Springer
    9783030921231 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 7-9 days
  9. Cover: Software Engineering for Resilient Systems - Springer
    Radu Calinescu | Felicita Di Giandomenico
    Software Engineering for Resilient Systems
    11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
    09/2019
    Springer
    9783030308551 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Software Engineering and Formal Methods - Springer
    Domenico Bianculli | Radu Calinescu | Bernhard Rumpe
    Software Engineering and Formal Methods
    SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
    02/2016
    Springer
    9783662492239 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Large-Scale Complex IT Systems. Development, Operation and Management - Springer
    Radu Calinescu | David Garlan
    Large-Scale Complex IT Systems. Development, Operation and Management
    17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
    09/2012
    1st EDN1st Edition
    Springer
    9783642340581 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Software Engineering and Formal Methods - Springer
    Radu Calinescu | Bernhard Rumpe
    Software Engineering and Formal Methods
    13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
    08/2015
    Springer
    9783319229683 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. This image is currently not available.
    Rocco De Nicola | Radu Calinescu | Bernhard Rumpe
    Software Engineering and Formal Methods
    Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, UK, September 7-8, 2015. Revised Selected Papers
    08/2016
    Birkhauser Verlag AG
    9783319284682 (ISBN)
    Book
    Paperback/Softback
    €59.92
    The article will not be published
  14. This image is currently not available.
    Radu Calinescu | Ethan Jackson
    Foundations of Computer Software
    04/2011
    Springer
    9783642212932 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available