Opening book details…
About this scholarly article
Mathematics of Program Construction Volume 3125 by Kozen, Dexter is a scholarly article available to read on EtoBox.
- Author
- Kozen, Dexter
- Publisher
- Springer Berlin Heidelberg
- Published
- 2004
About this book
No description available for this edition yet.
Published by Springer Berlin Heidelberg (2004).
Details
- Publisher
- Springer Berlin Heidelberg
Rate this book
Sign in to rate this book
Quick info
- Published
- 2004
- Availability
- Checking…