Concrete Semantics
Subtitle: With Isabelle/Hol
Publisher: Springer
Published: 2016
Language: eng
Number of pages: 298
ISBN-13: 9783319357591
Subjects: Logic design; Automatic theorem proving