Tools and Algorithms for the Construction and Analysis of Systems
Sebastian Junges, Guy Katz
Häftad, 2026
460 kr
Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part II
Häftad, Engelska, 2026
Del 16506 i serien Lecture Notes in Computer Science
460 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13466
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Häftad, 2022
742 kr
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Laura Nenzi, Nina Narodytska, Guy Katz, Radoslav Ivanov, Omri Isac
E-bok
2022903 kr
AI Verification
Christian Schilling, Nina Narodytska, Anna Lukina, Guy Katz, Taylor T. Johnson, Mirco Giacobbe, Guy Avni
E-bok
20241 798 kr
Del 14846
AI Verification
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
Häftad, 2024
1 478 kr
Principles of Verification: Cycling the Probabilistic Landscape
Matthias Volk, Marielle Stoelinga, Tim Quatmann, Thomas Noll, Christoph Matheja, Benjamin Lucien Kaminski, Sebastian Junges, Nils Jansen
E-bok
2024975 kr
Principles of Verification: Cycling the Probabilistic Landscape
Matthias Volk, Marielle Stoelinga, Tim Quatmann, Thomas Noll, Christoph Matheja, Benjamin Lucien Kaminski, Sebastian Junges, Nils Jansen
E-bok
20241 067 kr
Principles of Verification: Cycling the Probabilistic Landscape
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Häftad, 2024
799 kr
Del 15261
Principles of Verification: Cycling the Probabilistic Landscape
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Häftad, 2024
856 kr
Principles of Verification: Cycling the Probabilistic Landscape
Matthias Volk, Marielle Stoelinga, Tim Quatmann, Thomas Noll, Christoph Matheja, Benjamin Lucien Kaminski, Sebastian Junges, Nils Jansen
E-bok
20241 138 kr