Hoppa till sidans huvudinnehåll

Carolyn Talcott – författare

Visar alla böcker från författaren Carolyn Talcott.
7 produkter
Del 12300 - Lecture Notes in Computer Science

Logic, Language, and Security

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

AvVivek Nigam,Tajana Ban Kiriginm. fl.

Häftad, Engelska, 2020

869 kr

Skickas inom 10-15 vardagar

Composing Model-Based Analysis Tools

AvRobert Heinrich,Francisco Duránm. fl.

Inbunden, Engelska, 2021

2 029 kr

Skickas inom 10-15 vardagar

Composing Model-Based Analysis Tools

AvRobert Heinrich,Francisco Duránm. fl.

Häftad, Engelska, 2022

1 449 kr

Skickas inom 10-15 vardagar

Del 15560 - Lecture Notes in Computer Science

Rebeca for Actor Analysis in Action

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

AvEdward A. Lee,Mohammad Reza Mousavim. fl.

Häftad, Engelska, 2025

1 089 kr

Skickas inom 10-15 vardagar

Del 9200 - Lecture Notes in Computer Science

Logic, Rewriting, and Concurrency

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

AvNarciso Martí-Oliet,Peter Csaba Ölveczkym. fl.

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar

Coordination Models and Languages

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

AvFarhad Arbab,Carolyn Talcott

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

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

Lecture Notes in Logic 15

AvWilfried Sieg,Richard Sommerm. fl.

Inbunden, Engelska, 2002

1 619 kr

Tillfälligt slut