71 Results for : vmcai

  • Thumbnail
    Verification, Model Checking, and Abstr
    Erscheinungsdatum: 12.01.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Bouajjani, Ahmed // Monniaux, David, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines, Rubrik: Informatik, Seiten: 580, Informationen: Paperback, Gewicht: 897 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 76.99 EUR excl. shipping
  • Thumbnail
    Verification, Model Checking, and Abstract Interpretation
    Erscheinungsdatum: 26.12.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, Auflage: 1. Auflage von 2015 // 1st ed. 2016, Redaktion: Jobstmann, Barbara // Leino, K. Rustan M., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines, Rubrik: Informatik, Seiten: 572, Informationen: Paperback, Gewicht: 855 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 72.39 EUR excl. shipping
  • Thumbnail
    Verification, Model Checking, and Abstr
    Erscheinungsdatum: 07.02.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Beyer, Dirk // Zufferey, Damien, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Software Engineering // Computernetzwerke und maschinelle Kommunikation // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 488, Informationen: Paperback, Gewicht: 733 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 71.59 EUR excl. shipping
  • Thumbnail
    Verification, Model Checking, and Abstr
    Erscheinungsdatum: 07.02.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Beyer, Dirk // Zufferey, Damien, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Software Engineering // Computernetzwerke und maschinelle Kommunikation // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 488, Informationen: Paperback, Gewicht: 733 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 71.59 EUR excl. shipping
  • Thumbnail
    Verification, Model Checking, and Abstract Interpretation
    Erscheinungsdatum: 11.01.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, Redaktion: Enea, Constantin // Piskac, Ruzica, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Netzwerk // elektronisch // Internet // Client // Server // Testmethoden // COMPUTERS // Programming // General // Netzwerk-Hardware // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 602, Abbildungen: 155 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11388), Informationen: Book, Gewicht: 925 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 80.19 EUR excl. shipping
  • Thumbnail
    Verification, Model Checking, and Abstract Interpretation
    Erscheinungsdatum: 11.01.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, Redaktion: Enea, Constantin // Piskac, Ruzica, Verlag: Springer-Verlag GmbH // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Netzwerk // elektronisch // Internet // Client // Server // Testmethoden // COMPUTERS // Programming // General // Netzwerk-Hardware // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 602, Abbildungen: 155 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11388), Informationen: Book, Gewicht: 953 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 80.09 EUR excl. shipping
  • Thumbnail
    Verification Model Checking and Abstract Interpretation
    Verification Model Checking and Abstract Interpretation ab 74.99 € als Taschenbuch: 14th International Conference VMCAI 2013 Rome Italy January 20-22 2013 Proceedings. Auflage 2013. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 74.99 EUR excl. shipping
  • Thumbnail
    Verification Model Checking and Abstract Interpretation
    Verification Model Checking and Abstract Interpretation ab 74.99 € als Taschenbuch: 15th International Conference VMCAI 2014 San Diego CA USA January 19-21 2014 Proceedings. Auflage 2014. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 74.99 EUR excl. shipping
  • Thumbnail
    Verification Model Checking and Abstract Interpretation
    Verification Model Checking and Abstract Interpretation ab 87.49 € als Taschenbuch: 23rd International Conference VMCAI 2022 Philadelphia PA USA January 16-18 2022 Proceedings. 1st ed. 2022. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 87.49 EUR excl. shipping
  • Thumbnail
    Verification Model Checking and Abstract Interpretation
    Verification Model Checking and Abstract Interpretation ab 78.99 € als Taschenbuch: 21st International Conference VMCAI 2020 New Orleans LA USA January 16-21 2020 Proceedings. 1st ed. 2020. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 78.99 EUR excl. shipping

Similar searches: