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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Apt, Krzysztof R. (Autor), de Boer, Frank S. (Autor), Olderog, Ernst-Rüdiger (Autor)
Autor Corporativo: SpringerLink (Online service)
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:
Computer science.
Machine theory.
Algorithms.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • In the Beginning
  • Preliminaries
  • Deterministic Programs
  • While Programs
  • Recursive Programs
  • Recursive Programs with Parameters
  • Object-Oriented Programs
  • Parallel Programs
  • Disjoint Parallel Programs
  • Parallel Programs with Shared Variables
  • Parallel Programs with Synchronization
  • Nondeterministic and Distributed Programs
  • Nondeterministic Programs
  • Distributed Programs
  • Fairness.

Ejemplares similares