Zoeken

U zocht naar: Auteur Talcott, Carolyn Filter Auteur: Talcott, Carolyn weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Logic, Rewriting, and Concurrency
thumbnail
Full text!
Auteur:
Martí-Oliet; Talcott, Carolyn; Ölveczky, Peter Csaba
Uitgever:
Springer International Publishing 2015
Type:
e-book
2. Composing Model-Based Analysis Tools
thumbnail
Full text!
Auteur:
Robert Heinrich; Durán, Francisco; Talcott, Carolyn; Zschaler, Steffen
Uitgever:
Springer International Publishing 2021
Type:
e-book
3. All About Maude - A High-Performance Logical Framework
thumbnail
Full text!
Auteur:
Clavel, Manuel; Durán, Francisco; Eker, Steven; Kanade, Takeo; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn; Kittler, Josef; Talcott, Carolyn L.
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
4. Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
thumbnail
Full text!
Auteur:
Nigam; Ban Kirigin, Tajana; Guttman, Joshua; Kuznetsov, Stepan; Okada, Mitsuhiro; Talcott, Carolyn; Thau Loo, Boon
Uitgever:
Springer International Publishing 2020
Type:
e-book