History Variables: The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language
von:
Ryan Mallon ·
Tadao Takaoka
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-639-02190-5
ISBN-10: 3-639-02190-8
VDM Verlag
· 2008
