Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Sidst søgt på
    Model Checking Software

    Model Checking Software

    - 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (2024)

    Af
    Bog
    • Format
    • Bog, paperback
    • Engelsk

    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
    • SprogEngelsk
    • Udgivelsesdato13-10-2024
    • ISBN139783031661488
    • Forlag Springer
    • Nummer i serien1462
    • FormatPaperback
    • Udgave0

    Findes i disse kategorier...

    Machine Name: SAXO082