Description
About the Author
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
Book Information
ISBN 9780471939733
Author Antoni Diller
Format Paperback
Page Count 400
Imprint John Wiley & Sons Inc
Publisher John Wiley & Sons Inc
Weight(grams) 680g
Dimensions(mm) 247mm * 168mm * 23mm