MPG.eBooks - Search Results - "nato asi subseries f:, computer and system sciences"

Search alternatives:
"nato asi subseries f:, computer and system sciences" » "nato _ subseries f:, computer and system sciences", "nato asi subseries a:, computer and system sciences", "nato asi substrates f:, computer and system sciences", "nato arw subseries f:, computer and system sciences", "nato asi subseries f:, computer and system science"

Cover Image

1

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

“...NATO ASI Subseries F:, Computer and Systems Sciences...”

Cover Image

2

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1989

Springer Berlin Heidelberg

“...NATO ASI Subseries F:, Computer and Systems Sciences...”

Cover Image

3

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1987

Springer Berlin Heidelberg

“...NATO ASI Subseries F:, Computer and Systems Sciences...”

Cover Image

4

Program Design Calculi

Published 1993

Springer Berlin Heidelberg

“...NATO ASI Subseries F:, Computer and Systems Sciences...”

Cover Image

5

Programming and Mathematical Method : International Summer School

Published 1992

Springer Berlin Heidelberg

“...NATO ASI Subseries F:, Computer and Systems Sciences...”