0
EUR
00,00*
Cart EUR 00,00 *
    Advanced search
    Create your personal account

    Search Results "Formal Specifications" - all Bücher

    We could not find any exact matches to your search for "formal specifications". Maybe these items match your search.

    View:

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04

    Rebeca for Actor Analysis in Action

    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 76.66
    Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.