Joshua Guttman

Also known as

Joshua D. Guttman

Born 1955-01-01

Identifiers

Open LibraryOL1181741A

Top Subjects

Computer science (1)
Artificial intelligence (1)
Software engineering (1)

Books by Joshua Guttman

Total count: 6

Logical constants and logical objects

1984-01-01
VLISP A Verfied Implementation of SchemeA Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

Springer US1995-01-01
Formal Aspects in Security and Trust5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Springer London, Limited2009-01-01
Principles of Security and TrustFirst International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... March 24 - April 1, 2012, Proceedings

Springer2012-03-14
Foundations of Security, Protocols, and Equational ReasoningEssays Dedicated to Catherine A. Meadows

Springer2019-04-28
Logic, Language, and SecurityEssays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Springer International Publishing AG2020-01-01