Carolyn Talcott

Books by Author

Rebeca for Actor Analysis in Action

Carolyn Talcott

₹8399.0₹5132.27

Logic, Rewriting, and Concurrency

Carolyn Talcott

₹5599.0₹3475.51

Composing Model-Based Analysis Tools

Carolyn Talcott

₹11199.0₹6843.35

Composing Model-Based Analysis Tools

Carolyn Talcott

₹15679.0₹9581.66

Logic, Language, and Security

Mitsuhiro Okada

₹6719.0₹4106.01

All About Maude - A High-Performance Logical Framework

Carolyn Talcott

₹2737.0₹2654.89

Formal Methods for Open Object-Based Distributed Systems IV

Scott F. Smith

₹22399.0₹13687.67

Formal Methods for Open Object-Based Distributed Systems IV

Scott F. Smith

₹22324.0₹21877.52

Reflections on the Foundations of Mathematics

Wilfried Sieg

₹0.0

Reflections on the Foundations of Mathematics

Wilfried Sieg

₹12304.92₹11935.77

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

Wilfried Sieg

₹3898.57₹3781.61

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

Wilfried Sieg

₹5706.6₹5535.40

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

Wilfried Sieg

₹5706.6₹5535.40

Logic, Language, and Security

Talcott Carolyn Talcott

₹4323.15₹4236.69

Coordination Models and Languages

Farhad Arbab

₹5422.0₹4995.06

Formal Methods for Open Object-Based Distributed Systems IV

Smith Scott F. Smith

₹4323.15₹4236.69

Logic, Rewriting, and Concurrency

Marti-Oliet Narciso Marti-Oliet

₹4323.15₹4236.69

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

Wilfried Sieg

₹22388.0₹9873.50