49 Results for : vstte

  • Thumbnail
    Erscheinungsdatum: 29.01.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verified Software: Theories, Tools, and Experiments, Titelzusatz: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Gurfinkel, Arie // Seshia, Sanjit A., Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik // EDV, Allgemeines, Lexika, Seiten: 236, Informationen: Paperback, Gewicht: 383 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 51.59 EUR excl. shipping
  • Thumbnail
    Erscheinungsdatum: 08.11.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verified Software. Theories, Tools, and Experiments, Titelzusatz: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Blazy, Sandrine // Chechik, Marsha, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Computerprogrammierung und Softwareentwicklung // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 216, Informationen: Paperback, Gewicht: 353 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 49.99 EUR excl. shipping
  • Thumbnail
    Erscheinungsdatum: 14.03.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verified Software. Theories, Tools, and Experiments, Titelzusatz: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Chakraborty, Supratik // Navas, Jorge A., Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Informationstechnik // IT // allgemeine Themen // Computerprogrammierung und Softwareentwicklung // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Software Engineering // IT-Zertifizierung // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 212, Informationen: Paperback, Gewicht: 330 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 49.99 EUR excl. shipping
  • Thumbnail
    Erscheinungsdatum: 14.03.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verified Software. Theories, Tools, and Experiments, Titelzusatz: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Chakraborty, Supratik // Navas, Jorge A., Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Informationstechnik // IT // allgemeine Themen // Computerprogrammierung und Softwareentwicklung // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Software Engineering // IT-Zertifizierung // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 212, Informationen: Paperback, Gewicht: 330 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 49.99 EUR excl. shipping
  • Thumbnail
    Erscheinungsdatum: 27.12.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verified Software. Theories, Tools, and Experiments, Titelzusatz: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Auflage: 2018, Redaktion: Piskac, Ruzica // Rümmer, Philipp, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik // Informationstechnologie // IT // Technologie // Compiler // Übersetzer // Expertensystem // Wissensbasiertes System // Programmiersprachen // Allgemeines // COMPUTERS // Software Development & Engineering // General // Informationstechnik // allgemeine Themen // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // IT-Zertifizierung // Rechnerarchitektur und Logik-Entwurf // Systemanalyse und // design, Rubrik: Informatik, Seiten: 344, Abbildungen: 79 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11294), Informationen: Book, Gewicht: 552 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 65.39 EUR excl. shipping
  • Thumbnail
    Erscheinungsdatum: 27.12.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verified Software. Theories, Tools, and Experiments, Titelzusatz: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Auflage: 2018, Redaktion: Piskac, Ruzica // Rümmer, Philipp, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik // Informationstechnologie // IT // Technologie // Compiler // Übersetzer // Expertensystem // Wissensbasiertes System // Programmiersprachen // Allgemeines // COMPUTERS // Software Development & Engineering // General // Informationstechnik // allgemeine Themen // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // IT-Zertifizierung // Rechnerarchitektur und Logik-Entwurf // Systemanalyse und // design, Rubrik: Informatik, Seiten: 344, Abbildungen: 79 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11294), Informationen: Book, Gewicht: 561 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 65.19 EUR excl. shipping
  • Thumbnail
    This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
    • Shop: buecher
    • Price: 40.95 EUR excl. shipping
  • Thumbnail
    Verified Software: Theories Tools Experiments ab 74.99 € als Taschenbuch: Third International Conference VSTTE 2010 Edinburgh UK August 16-19 2010 Proceedings. Edition. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 74.99 EUR excl. shipping
  • Thumbnail
    Verified Software: Theories Tools Experiments ab 63.99 € als Taschenbuch: Second International Conference VSTTE 2008 Toronto Canada October 6-9 2008 Proceedings. Auflage 2008. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 63.99 EUR excl. shipping
  • Thumbnail
    Verified Software: Theories Tools Experiments ab 74.99 € als Taschenbuch: 4th International Conference VSTTE 2012 Philadelphia PA USA January 28-29 2012 Proceedings. 2012. 2012. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 74.99 EUR excl. shipping


Similar searches: