Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    DRM-beskyttet
    Model Checking Software

    Model Checking Software

    - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

    Forfatter: info mangler
    E-bog
    • Format
    • E-bog, ePub
    • Engelsk
    E-bogen er DRM-beskyttet og kræver et særligt læseprogram

    Beskrivelse

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

    Læs hele beskrivelsen
    Detaljer

    Findes i disse kategorier...

    Machine Name: SAXO080