Program design calculi View on Open Library

Program design calculi

by M. Broy

No reviews yet
First published: 1993 1 language ISBN: 354056943X
Subjects
Congresses System design Computer engineering

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by M. Broy

Formal methods in programming and their applications

Formal methods in programming and their ...

Methods of programming

Methods of programming

Software pioneers

Software pioneers

Software system reliability and security

Software system reliability and security

Formal systems specification

Formal systems specification

Programming and mathematical method

Programming and mathematical method

You Might Also Like

More in Congresses
Manifest der Kommunistischen Partei

Manifest der Kommunistischen Partei

Karl Marx
Nicomachean Ethics

Nicomachean Ethics

Aristotle
Lord Jim

Lord Jim

Joseph Conrad
[William Wheeler Hubbell, authorized to apply for patents.]

[William Wheeler Hubbell, authorized to ...

United States. Congress. Senate. Committee on Patents
Compleat angler

Compleat angler

Izaak Walton
The national union catalog

The national union catalog

Library of Congress