ProgrammverifikationKrzysztof R. Apt
Programmverifikation
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1994
- שפה
- German
- סדרה
- Springer-Lehrbuch
- הוצאה
- Springer Berlin Heidelberg
- מהדורות
- 1
- ISBN
- 9783642579479
מקור הנתונים: Wikidata
עוד של Krzysztof R. Apt
New trends in constraintsKrzysztof R. Apt
New trends in constraints
Krzysztof R. Apt · 2000
The Logic Programming ParadigmKrzysztof R. Apt
The Logic Programming Paradigm
Krzysztof R. Apt · 1999
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1997
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1991
Constraint logic programming using ECLiPSeKrzysztof R. Apt
Constraint logic programming using ECLiPSe
Krzysztof R. Apt · 2007
Logic Programming LanguagesKrzysztof R. Apt
Logic Programming Languages
Krzysztof R. Apt · 1993
Logics and Models of Concurrent SystemsKrzysztof R. Apt
Logics and Models of Concurrent Systems
Krzysztof R. Apt · 1985
Edsger Wybe DijkstraKrzysztof R. Apt
Edsger Wybe Dijkstra
Krzysztof R. Apt · 2022
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and KnowledgeKrzysztof R. Apt
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Krzysztof R. Apt · 2011
Lectures in Game Theory for Computer ScientistsKrzysztof R. Apt
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt · 2011