Carolyn Talcott – författare

Visar alla böcker från författaren Carolyn Talcott.

7 produkter

1. 

   Logic, Language, and Security

   Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

   Av Vivek Nigam, Tajana Ban Kirigin m. fl.

   Häftad, 2020

   869 kr

   Lägg i varukorg

2. 

   Composing Model-Based Analysis Tools

   Av Robert Heinrich, Francisco Durán m. fl.

   Inbunden, 2021

   2029 kr

   Lägg i varukorg

3. 

   Composing Model-Based Analysis Tools

   Av Robert Heinrich, Francisco Durán m. fl.

   Häftad, 2022

   1449 kr

   Lägg i varukorg

4. 

   Rebeca for Actor Analysis in Action

   Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

   Av Edward A. Lee, Mohammad Reza Mousavi m. fl.

   Häftad, 2025

   1089 kr

   Lägg i varukorg

5. 

   Logic, Rewriting, and Concurrency

   Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

   Av Narciso Martí-Oliet, Peter Csaba Ölveczky m. fl.

   Häftad, 2015

   709 kr

   Lägg i varukorg

6. 

   Coordination Models and Languages

   5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

   Av Farhad Arbab, Carolyn Talcott

   Häftad, 2002

   729 kr

   Lägg i varukorg

7. 

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

   Lecture Notes in Logic 15

   Av Wilfried Sieg, Richard Sommer m. fl.

   Inbunden, 2002

   1619 kr

   Tillfälligt slut