Cover Image
Read Now

1
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... to hypertext using post-prototype formal specification -- Programming with VDM domains -- A buffering system...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
“...This book constitutes the refereed post-conference proceedings of the Second International Andrei...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
“...This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei...”