Verification of Sequential and Concurrent Programs
Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The development of methods that ensure program correctness is therefore a key challenge for computer scientists. This...
Κύριοι συγγραφείς: | Apt, Krzysztof R. (Συγγραφέας), Boer, Frank S. de (Συγγραφέας), Olderog, Ernst-Rüdiger (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London :
Springer London,
2009.
|
Σειρά: | Texts in Computer Science,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Έκδοση: (2017) -
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
ανά: Mogavero, Fabio
Έκδοση: (2013) -
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Έκδοση: (2017) -
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
Έκδοση: (2016) -
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
Έκδοση: (2005)