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...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | , , |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London :
Springer London : Imprint: Springer,
2009.
|
Edición: | 3rd ed. 2009. |
Colección: | Texts in Computer Science,
|
Temas: | |
Acceso en línea: | Texto Completo |