
VLISP A Verified Implementation of Scheme
Joshua Guttman
₹11,550

5th International Workshop
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009
Free delivery. Nothing extra to pay at checkout.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2009, Formal Aspects in Security and Trust: 5th International Workshop by Joshua Guttman runs to 331 pages.
Its main subjects are Information Systems, Data encryption (Computer science), Information storage and retrieval systems and Computer networks.
About the author: Joshua Guttman (born 1955).