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

Name: History Variables - The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 9783639021905
Price: 56.44 GBP
Availability: OutOfStock
ISBN: 9783639021905

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