Concrete Semantics : With Isabelle/Hol
ISBN: 9783319105420
Information Available:
Summary
Author Notes
Inside Flap
Cover Image
Copyright held by Baker & Taylor.