Verification of sequential and concurrent programs
- ISBN
- 9781848827448
Verification of sequential and concurrent programs è un verification, computer software book di Krzysztof R. Apt.
Informazioni su questo 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.
Sull'Autore
Krzysztof R. Apt è l'autore di Verification of sequential and concurrent programs. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Verification of sequential and concurrent programs?+
Verification of sequential and concurrent programs è un libro di Verification, Computer software, Logic design, Computer science, Computer software, verification.
Di cosa parla 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...
Chi ha scritto Verification of sequential and concurrent programs?+
Verification of sequential and concurrent programs è stato scritto da Krzysztof R. Apt.