ISBN 9783639021905 books & textbook

History Variables: The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language

Mallon, Ryan Takaoka, Tadao

VDM Verlag /2008-06-01 Paperback / 168 Pages
isbn-10: 3639021908 / isbn-13: 9783639021905