donner producten computer aided verification
Computer Aided Verification
Computer Aided Verification
Computer Aided Verification

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

€ 60,50
Engels |  Paperback
  • Geen verzendkosten vanaf €15,- NL & BE
  • Cadeaus gratis ingepakt
  • Bestellen zonder account mogelijk
  • 30 dagen ruiltermijn voor fysieke producten

    • Tweedehands producten

    1. Op zoek naar tweedehands producten...

    Beschrijving

    Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.

    Specificaties

    Uitgever Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Verschenen 5 juli 2011
    Pagina's 15
    Thema Wiskundige systeemtheorie
    Afmetingen 235 x 155 mm
    EAN 9783642221095
    Bindwijze Paperback
    Taal Engels

    Gerelateerd

    The Semantic Web

    The Semantic Web

    € 87,73
    AI and Blockchain in Smart Grids

    AI and Blockchain in Smart Grids

    € 85,95
    Agentic Artificial Intelligence

    Agentic Artificial Intelligence

    € 189,50
    Advanced Computing in Industrial Mathematics

    Advanced Computing in Industrial Mathematics

    € 274,95
    Understanding Artificial Intelligence

    Understanding Artificial Intelligence

    Andrew Holden
    € 20,95
    Machine Learning and Computational Methods: Theory and Applications

    Machine Learning and Computational Methods: Theory and Applications

    € 307,95
    Het artikel is aan de winkelmand toegevoegd
    Computer Aided Verification
    None

    Computer Aided Verification
    E-book
    Tweedehands

    Verder winkelen
    Afrekenen
    Geen verzendkosten vanaf €15,- NL & BE