عنوان
پدید آورنده
موضوع
رده
QA76.76 .V47A67
QA76
.
76
.
V47A67
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
978-1-84882-744-8
IR
89-703
انگلیسی
IR
Verification of sequential and concurrent programs
[Book]
/ Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog
; foreword by Amir Pnueli
3rd extended ed.
Dordrecht ;London ;New York
: Springer,
, c2009.
xxiii, 502 p., ill.; 25 cm.
(Texts in computer science)
Language: انگلیسی
Print
Includes bibliographical references and indexes.
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.
Computer software, Verification
QA76
.
76
.
V47A67
Apt, Krzysztof R., 1949-
Boer, Frank S. de
Olderog, E.-R
ایران
old catalog
p
BL
1
a
Y
