Product Description
ISBN: 9780262017152
TITLE: Software Abstractions : Logic, Language, and Analysis
AUTHOR: Daniel Jackson
PUBLISHER: MIT Press Ltd
PUBLISHER DATE: 4 Nov 2011
ISBN: 9780262017152
TITLE: Software Abstractions : Logic, Language, and Analysis
AUTHOR: Daniel Jackson
PUBLISHER: MIT Press Ltd
PUBLISHER DATE: 4 Nov 2011
Popular Trending Products
ISBN: 9781848213203TITLE: Static Analysis of Software : The Abstract InterpretationAUTHOR: Jean-Loui…
ISBN: 9780691225388TITLE: The Essence of Software : Why Concepts Matter for Great DesignAUTHOR: Dani…
ISBN: 9781852334642TITLE: Introduction to Languages, Machines and Logic : Computable Languages, Abst…