Carolyn Talcott

ספרים שבהם Carolyn Talcott מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Composing Model-Based Analysis ToolsRobert Heinrich

Composing Model-Based Analysis Tools

Robert Heinrich · 2022

Rebeca for Actor Analysis in ActionMohammad Reza Mousavi

Rebeca for Actor Analysis in Action

Mohammad Reza Mousavi · 2025

Logic, Language, and SecurityVivek Nigam

Logic, Language, and Security

Vivek Nigam · 2020

Reflections on the Foundations of MathematicsWilfried Sieg

Reflections on the Foundations of Mathematics

Wilfried Sieg · 2017

Logic, Rewriting, and ConcurrencyNarciso Martí-Oliet

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet · 2015

Reflections on the Foundations of Mathematics : Essays in Honor of Solomon FefermanWilfried Sieg

Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman

Wilfried Sieg · 2002