Kokichi Futatsugi – författare

Visar alla böcker från författaren Kokichi Futatsugi.

4 produkter

1. 

   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

   739 kr

   Lägg i varukorg

2. 

   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

   1419 kr

   Lägg i varukorg

3. 

   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

   739 kr

   Lägg i varukorg

4. 

   CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION

   Av Razvan Diaconescu, Kokichi Futatsugi

   Inbunden, 1998

   919 kr

   Tillfälligt slut