ProgrammverifikationKrzysztof R. Apt
Programmverifikation
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1996
- שפה
- German
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 258
- ISBN
- 9783540574798
מקור הנתונים: Wikidata
עוד של Krzysztof R. Apt
Lectures in game theory for computer scientistsKrzysztof R. Apt
Lectures in game theory for computer scientists
Krzysztof R. Apt · 2011
Verification of sequential and concurrent programsKrzysztof R. Apt
Verification of sequential and concurrent programs
Krzysztof R. Apt · 2009
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