Verification of sequential and concurrent programsKrzysztof R. Apt
Verification of sequential and concurrent programs
Krzysztof R. Apt · 2009
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
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.
פרטי הספר
- שנה
- 2009
- שפה
- English
- סדרה
- Texts in computer science
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 502
- ISBN
- 9781848827448
מקור הנתונים: Wikidata
עוד של Krzysztof R. Apt
Lectures in game theory for computer scientistsKrzysztof R. Apt
Lectures in game theory for computer scientists
Krzysztof R. Apt · 2011
New perspectives on games and interactionKrzysztof R. Apt
New perspectives on games and interaction
Krzysztof R. Apt · 2008
Foundations of deductive databases and logic programmingKrzysztof R. Apt
Foundations of deductive databases and logic programming
Krzysztof R. Apt · 2014
Principles of constraint programmingKrzysztof R. Apt
Principles of constraint programming
Krzysztof R. Apt · 2010
New perspectives on games and interactionKrzysztof R. Apt
New perspectives on games and interaction
Krzysztof R. Apt · 2008
Logic programming languagesKrzysztof R. Apt
Logic programming languages
Krzysztof R. Apt · 1993
ProgrammverifikationKrzysztof R. Apt
Programmverifikation
Krzysztof R. Apt · 1996