Jump to ratings and reviews
Rate this book

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings

Rate this book
Document IFIP Working Group 2.1 Algorithmic Languages and Calculi, Chester -
England, 1990. [Hae91] Haeberer, AM and Veloso, PAS, "Partial Relations for ...

433 pages, Paperback

First published October 1, 1993

1 person want to read

About the author

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
0 (0%)
4 stars
0 (0%)
3 stars
0 (0%)
2 stars
0 (0%)
1 star
0 (0%)
No one has reviewed this book yet.

Can't find what you're looking for?

Get help and learn more about the design.