Skip to content
pandatutor® Log in
Cover of Specification of software systems

Specification of software systems

by Vangalur S. Alagar

2011 644 pages eng

Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Specifications Logic design Software engineering Computer software Computer science
Read on Archive.org Open Library Toronto Public Library Libby Amazon

Read online

Reader not loading? Open it on Archive.org instead.

More like this

Process Mining

Wil M. P. van der Aalst

2011

Fundamentals of Software Engineering

Farhad Arbab

2012

The correctness-by-construction approach to programming

Derrick Kourie

2012

Introduction To The Theory Of Programming Languages

Jean-Jacques Levy

2010

Integrated Formal Methods

John Derrick

2012

Concurrency theory

Howard Bowman

2006