Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings /
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 shor...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Zamani, Majid (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zufferey, Damien (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Έκδοση: | 1st ed. 2019. |
Σειρά: | Theoretical Computer Science and General Issues ;
11652 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Lectures on Runtime Verification Introductory and Advanced Topics /
Έκδοση: (2018) -
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings /
Έκδοση: (2019) -
Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /
Έκδοση: (2019) -
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
Έκδοση: (2018) -
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
Έκδοση: (2019)