Related Books

Semantics with Applications: An Appetizer
Language: en
Pages: 285
Authors: Hanne Riis Nielson
Categories: Computers
Type: BOOK - Published: 2007-04-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory pres
Formal Methods
Language: en
Pages: 170
Authors: Flemming Nielson
Categories: Computers
Type: BOOK - Published: 2019-07-16 - Publisher: Springer

DOWNLOAD EBOOK

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verificati
Concrete Semantics
Language: en
Pages: 304
Authors: Tobias Nipkow
Categories: Computers
Type: BOOK - Published: 2014-12-03 - Publisher: Springer

DOWNLOAD EBOOK

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive defi
Software Languages
Language: en
Pages: 448
Authors: Ralf Lämmel
Categories: Computers
Type: BOOK - Published: 2018-05-17 - Publisher: Springer

DOWNLOAD EBOOK

This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software dev
A Concise Introduction to Software Engineering
Language: en
Pages: 280
Authors: Pankaj Jalote
Categories: Computers
Type: BOOK - Published: 2008-10-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

An introductory course on Software Engineering remains one of the hardest subjects to teach largely because of the wide range of topics the area enc- passes. I