Talcott, Carolyn books & textbook
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
Smith, Scott F. Talcott, Carolyn L.
Springer /2012-08-01 Paperback / 436 Pages
isbn-10: 1475710186 / isbn-13: 9781475710182
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings (Lecture Notes in Computer Science, 2315)
Arbab, Farhad Talcott, Carolyn
Springer /2002-03-27 Paperback / 424 Pages
isbn-10: 3540434100 / isbn-13: 9783540434108
Composing Model-Based Analysis Tools
Heinrich, Robert Durán, Francisco Talcott, Carolyn Zschaler, Steffen
Springer /2021-12-03 Hardcover / 323 Pages
isbn-10: 3030819140 / isbn-13: 9783030819149
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Martí-Oliet, Narciso Ölveczky, Peter Csaba Talcott, Carolyn
Springer /2015-08-21 Paperback / 645 Pages
isbn-10: 3319231642 / isbn-13: 9783319231648
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Nigam, Vivek Ban Kirigin, Tajana Talcott, Carolyn Guttman, Joshua Kuznetsov, Stepan Thau Loo, Boon Okada, Mitsuhiro
Springer /2020-10-29 Paperback / 216 Pages
isbn-10: 303062076X / isbn-13: 9783030620769
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15
Sieg, Wilfried Sommer, Richard Talcott, Carolyn
A K Peters/CRC Press /2002-08-18 Paperback / 450 Pages
isbn-10: 1568811705 / isbn-13: 9781568811703
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Smith, Scott F. Talcott, Carolyn L.
Springer /2000-08-31 Hardcover / 436 Pages
isbn-10: 0792379233 / isbn-13: 9780792379232
