Kokichi Futatsugi – författare
Visar alla böcker från författaren Kokichi Futatsugi. Handla med fri frakt och snabb leverans.
6 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
566 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
1093 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
566 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 …
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION
Av Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
709 kr
Tillfälligt slut
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software …
