Opening book details…
About this scholarly article
Axiomatising the Logic of Computer Programming Volume 130 by , is a scholarly article available to read on EtoBox.
- Author
- ,
- Publisher
- Springer-Verlag
- Published
- 1982
Checking…
Axiomatising the Logic of Computer Programming Volume 130
1982
About this book
No description available for this edition yet.
Published by Springer-Verlag (1982).
Details
- Publisher
- Springer-Verlag
Rate this book
Sign in to rate this book
Quick info
- Published
- 1982
- Availability
- Checking…