Programming and Mathematical Method International Summer School /

The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathe...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Broy, Manfred. (Editor)
Format: SpringerLink eBooks
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992.
Series:NATO ASI Series, Series F: Computer and Systems Sciences ; 88
Online Access:


3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available