Takaoka, Tadao books & textbook
Algorithms and Computation: 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings (Lecture Notes in Computer Science, 2223)
Springer /2001-12-05 Paperback / 804 Pages
isbn-10: 3540429859 / isbn-13: 9783540429852
History Variables: The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language
VDM Verlag /2008-06-01 Paperback / 168 Pages
isbn-10: 3639021908 / isbn-13: 9783639021905
