Cover Image

Program design calculi /

Show other versions (1)

The development of information processing systems requires models, calculi, and theories for the analysis of computations. Complex software systems are best constructed in a careful, systematic, and disciplined structuring of the development process. Starting from basic requirement specifications in...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Program Design Calculi
Other Authors: Broy, M., 1949-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1993]
Series:NATO ASI series. Computer and systems sciences ; no. 118.
Subjects:
System design > Congresses.
calcul conception.
conception logiciel.
programmation fonctionnelle.
calcul formel.
raffinement.
Programmatuurtechniek.
Ordinateurs > Programmation > Congrès.
System design.
Computers > Design
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.S88 P765 1993
 
Call Number Status Get It
QA76.9.S88 P765 1993 Available