Verification of sequential and concurrent programs
- ISBN
- 9781848827448
Verification of sequential and concurrent programs est un verification, computer software book de Krzysztof R. Apt.
À propos de ce livre
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.
À propos de l'auteur
Krzysztof R. Apt est l'auteur de Verification of sequential and concurrent programs. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Verification of sequential and concurrent programs ?+
Verification of sequential and concurrent programs est un livre de Verification, Computer software, Logic design, Computer science, Computer software, verification.
De quoi parle 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 a écrit Verification of sequential and concurrent programs ?+
Verification of sequential and concurrent programs a été écrit par Krzysztof R. Apt.