Cover Image

The specification of computer programs /

Bibliographic Details
Main Author: Turski, Władysław
Other Authors: Maibaum, Thomas S. E., 1947-
Format: Book
Language:English
Published: Wokingham, England ; Reading, Mass. : Addison-Wesley, ©1987.
Series:International computer science series.
Subjects:
Computer software > Development.
Computer programming.
Logiciels > Développement.
Programmation (Informatique)
Softwarespezifikation
Programacao De Computadores.
Linguagens De Programacao (Computadores)
Computer systems > Programs > Design
toepassingen
applications
computer software
programmeren
programming
software-ontwikkeling
software engineering
Programming, Programming Languages
Programmeren, programmeertalen
Table of Contents:
  • Software engineering preliminaries
  • Mathematical preliminaries
  • Relationships between specifications and programs
  • Program design and implementation
  • Appendix. Linguistic systems
  • Valuation systems
  • First-order predicate calculus-PC
  • Modal and programming logics
  • Many-sorted theories
  • Interpretation between theories.