donner producten model checking software
Model Checking Software
Model Checking Software
Model Checking Software

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

€ 60,50
Engels |  Paperback

Tweedehands producten

  1. Op zoek naar tweedehands producten...
  • Geen verzendkosten vanaf €15,- NL & BE
  • Cadeaus gratis ingepakt
  • Bestellen zonder account mogelijk
  • 30 dagen ruiltermijn voor fysieke producten

    • Beschrijving

    This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.

    The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.

    Specificaties

    Uitgever Springer Nature Switzerland AG
    Verschenen 3 augustus 2021
    Pagina's 10
    Thema Softwareontwikkeling
    Afmetingen 235 x 155 mm
    EAN 9783030846282
    Bindwijze Paperback
    Taal Engels

    Gerelateerd

    Mastering React Native

    Mastering React Native

    € 33,95
    Clean Architecture

    Clean Architecture

    Robert Martin
    € 45,95
    Artificial Intelligence

    Artificial Intelligence

    Deepak Bhaskar Acharya
    € 166,50
    Mastering Azure SQL Managed Instance

    Mastering Azure SQL Managed Instance

    Stephen A. Muliokela
    € 65,95
    Focus on Artificial Intelligence in Intelligent Systems Design

    Focus on Artificial Intelligence in Intelligent Systems Design

    € 246,09
    A Student Guide to AI and Robotics

    A Student Guide to AI and Robotics

    Mahwish Zahara
    € 71,95
    Het artikel is aan de winkelmand toegevoegd
    Model Checking Software
    None

    Model Checking Software
    E-book
    Tweedehands

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