Kokichi Futatsugi – författare
Visar alla böcker från författaren Kokichi Futatsugi. Handla med fri frakt och snabb leverans.
5 produkter
Software Security - Theories and Systems
Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
Av Kokichi Futatsugi, Fumio Mizoguchi m. fl.
Häftad, 2004
561 kr
Lägg i varukorg
Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4–6, 2003. This volume is the collection of the papers that were presented at ISSS …
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Av Kokichi Futatsugi, Jean-Pierre Jouannaud m. fl.
Häftad, 2006
1082 kr
Lägg i varukorg
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, …
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Av Jose Meseguer, Jean-Pierre Jouannaud m. fl.
E-bok, 2006
1470 kr
Lägg i varukorg
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, …
Software Security - Theories and Systems
Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
Av Naoki Yonezaki, Fumio Mizoguchi m. fl.
E-bok, 2004
739 kr
Lägg i varukorg
Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4–6, 2003. This volume is the collection of the papers that were presented at ISSS …
Object-Technologies for Advanced Software
Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
Av Kokichi Futatsugi, Satoshi Matsuoka
Häftad, 1996
562 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second International Symposium on Object Technologies for Advanced Software, ISOTAS'96, held in Ishikawa, Japan, in March 1996. ISOTAS'96 was sponsored by renowned Japanese and international professional organisations.The 14 papers included in …
