Filter
Programmering
Filter
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software …
The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new …
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas …
An engaging, illustrated collection of insights revealing the practices and principles that expert software designers use to create great software.What makes an expert software …
A completely updated and expanded comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits.This comprehensive treatment …
A comprehensive introduction to the latest research and theory on learning and instruction with computer games.This book offers a comprehensive introduction to the latest research …
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol …
A guide to applying software design principles and coding practices to VHDL to improve the readability, maintainability, and quality of VHDL code.This book addresses an …
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …
A comprehensive introduction to optimization with a focus on practical algorithms for the design of engineering systems.This book offers a comprehensive introduction to …