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

Ryan Mallon author Tadao Takaoka author

Format:Paperback

Publisher:VDM Verlag Dr. Mueller E.K.

Published:6th Jun '08

Currently unavailable, and unfortunately no date known when it will be back

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

This paperback, "History Variables - The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language" from Ryan Mallon & Tadao Takaoka, was published 6th June 2008 by VDM Verlag Dr. Mueller E.K..

ISBN: 9783639021905

Dimensions: 229mm x 152mm x 9mm

Weight: 231g

168 pages