Deductive program design View on Open Library

Deductive program design

by M. Broy

No reviews yet
First published: 1996 1 language ISBN: 3540609474
Subjects
Electronic data processing Distributed processing Congresses Symbolic and mathematical Logic System design Electronic data processing, distributed processing Logic, symbolic and mathematical

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 Electronic data proc...
Tax administration

Tax administration

United States. General Accounting Office
Advances in imaging and electron physics

Advances in imaging and electron physics

Peter W. Hawkes
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Course ILT

Course ILT

Course Technology
Tax administration

Tax administration

United States. General Accounting Office
Introducing Computers

Introducing Computers

Robert H. Blissmer