Logics and Models of Concurrent SystemsKrzysztof R. Apt

Logics and Models of Concurrent Systems

Krzysztof R. Apt · 1985

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 1985
שפה: English
סדרה: NATO ASI Series, Series F: Computer and Systems Sciences -- 13
הוצאה: Springer Berlin Heidelberg
מהדורות: 1
ISBN: 9783642824555

מקור הנתונים: 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

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

Recent Advances in ConstraintsKrzysztof R. Apt

Recent Advances in Constraints

Krzysztof R. Apt · 2004