Search for Author All Reviews
	Futatsugi, Kokichi     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of His 65th Birthday (Lecture Notes in Computer Science 4060) Futatsugi K., Jouannaud J., Meseguer J., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 643 pp.  Type: Book (9783540354628) Joseph A. Goguen was a world-class computer scientist whose work centered on the most abstract features of computer science. His central insight was that computer structures were grounded in abstract algebra. His particular interests i...... Jan 15 2007     Equational approach to formal verification of SET Ogata K., Futatsugi K.  Quality software (Proceedings of the Fourth International Conference on Quality Software (QSIC’04),Sep 8-Sep 10, 2004) 50-59, 2004.  Type: Proceedings The secure electronic transaction (SET) standard specifies a sophisticated protocol, aimed at securing e-commerce transactions. It improves on secure sockets layer (SSL), which merely focuses on preventing eavesdropping, by focusing on...... May 11 2005
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy