Verification of sequential and concurrent programs
- ISBN
- 9781848827448
Verification of sequential and concurrent programs, Krzysztof R. Apt tarafından yazılmış bir verification, computer software book.
Bu kitap hakkında
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.
Yazar Hakkında
Krzysztof R. Apt Verification of sequential and concurrent programs kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
Verification of sequential and concurrent programs hangi türde?+
Verification of sequential and concurrent programs bir Verification, Computer software, Logic design, Computer science, Computer software, verification kitabıdır.
Verification of sequential and concurrent programs ne hakkında?+
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...
Verification of sequential and concurrent programs kitabını kim yazdı?+
Verification of sequential and concurrent programs, Krzysztof R. Apt tarafından yazılmıştır.