Talcott, Carolyn.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
SpringerLink (Online service); Martí-Oliet, Narciso.; Ölveczky, Peter Csaba.; Talcott, Carolyn.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.; Marti-Oliet, Narciso.; Talcott, Carolyn.; Meseguer, Jose.
(Language materials, printed)
Rebeca for actor analysis in action = essays dedicated to Marjan Sirjani on the occasion of her 60th birthda /
by:
Mousavi, Mohammad Reza.; SpringerLink (Online service); Sirjani, Marjan.; Lee, Edward A.; Talcott, Carolyn.
(Language materials, printed)
Composing Model-Based Analysis Tools
by:
SpringerLink (Online service); Heinrich, Robert.; Talcott, Carolyn.; Durán, Francisco.; Zschaler, Steffen.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
Guttman, Joshua.; Ban Kirigin, Tajana.; Talcott, Carolyn.; Kuznetsov, Stepan.; Okada, Mitsuhiro.; SpringerLink (Online service); Nigam, Vivek.; Thau Loo, Boon.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer organization.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Modeling languages (Computer science)
Computer logic.
Artificial intelligence.
Software engineering.
Computer science.
Computer multitasking.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence.