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

    Model Checking

    Af +2
    Bog E-bog
    • Format
    • Bog, hardback
    • Engelsk

    Beskrivelse

    154 b&w illus.; 308 Illustrations, unspecified

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal424
    • Udgivelsesdato04-12-2018
    • ISBN139780262038836
    • Forlag MIT Press
    • FormatHardback
    Størrelse og vægt
  • Dybde2,7 cm
    • coffee cup img
    10 cm
    book img
    17,8 cm
    22,9 cm

    Forfattere

    Edmund M. Clarke Jr Orna Grumberg Daniel Kroening Doron Peled Helmut Veith

    Findes i disse kategorier...

    Machine Name: SAXO080