Verification of sequential and concurrent programs
- ISBN
- 9781848827448
Verification of sequential and concurrent programs es un verification, computer software book de Krzysztof R. Apt.
Sobre este libro
This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs.
Sobre el Autor
Krzysztof R. Apt es el autor de Verification of sequential and concurrent programs. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Verification of sequential and concurrent programs?+
Verification of sequential and concurrent programs es un libro de Verification, Computer software, Logic design, Computer science, Computer software, verification.
¿De qué trata Verification of sequential and concurrent programs?+
This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed co...
¿Quién escribió Verification of sequential and concurrent programs?+
Verification of sequential and concurrent programs fue escrito por Krzysztof R. Apt.