Carolyn Talcott - Böcker

Visar alla böcker från författaren Carolyn Talcott.
7 produkter
Wilfried Sieg, Richard Sommer, Carolyn Talcott - Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, Inbunden

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

Av Wilfried Sieg, Richard Sommer, Carolyn Talcott

Inbunden, Engelska, 2002

1 619 kr

Tillfälligt slut
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada - Logic, Language, and Security, Häftad

Logic, Language, and Security

Av Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada

Häftad, Engelska, 2020

879 kr

Skickas inom 10-15 vardagar
Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler, Francisco Duran - Composing Model-Based Analysis Tools, Inbunden

Composing Model-Based Analysis Tools

Av Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler, Francisco Duran

Inbunden, Engelska, 2021

2 039 kr

Skickas inom 10-15 vardagar
Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler, Francisco Duran - Composing Model-Based Analysis Tools, Häftad

Composing Model-Based Analysis Tools

Av Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler, Francisco Duran

Häftad, Engelska, 2022

1 459 kr

Skickas inom 10-15 vardagar
Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott - Rebeca for Actor Analysis in Action, Häftad
Del 15560 - Lecture Notes in Computer Science

Rebeca for Actor Analysis in Action

Av Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott

Häftad, Engelska, 2025

1 129 kr

Skickas inom 10-15 vardagar
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, Narciso Marti-Oliet, Peter Csaba Olveczky - Logic, Rewriting, and Concurrency, Häftad

Logic, Rewriting, and Concurrency

Av Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, Narciso Marti-Oliet, Peter Csaba Olveczky

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar
Farhad Arbab, Carolyn Talcott - Coordination Models and Languages, Häftad
Del 2315 - Lecture Notes in Computer Science

Coordination Models and Languages

Av Farhad Arbab, Carolyn Talcott

Häftad, Engelska, 2002

739 kr

Skickas inom 10-15 vardagar