[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Z - An Introduction to Formal Methods 2e

Language EnglishEnglish
Book Paperback
Book Z - An Introduction to Formal Methods 2e Antoni Diller
Libristo code: 04894683
Publishers John Wiley & Sons Inc, May 1994
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practica... Full description
? points 435 b
183.89 € včetně DPH
In stock at our supplier Shipping in 15-20 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Of that hour and day no one knows - Mark 13 as an apocalypse? Marius Nel / Paperback
common.buy 53.40 €
Solution-Focused Stress Counselling Bill O'Connell / Hardback
common.buy 235.70 €
BILD' Dir Deine Meinung? Populismus als Programm Jürgen Rindt / Paperback
common.buy 19.21 €
Aventurin Krebs, Edelsteinherz / Toy
common.buy 15.84 €
Chicago Confidential Max Collins / Paperback
common.buy 17.01 €
Algebraic Equations Edgar Dehn / Paperback
common.buy 14.65 €
Ancient History, or Annals of Kentucky; With a Survey of the Ancient Monuments of North America; And a Tabular View of the Principal Languages and Pri C S Rafinesque / Paperback
common.buy 21.61 €

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

About the book

Full name Z - An Introduction to Formal Methods 2e
Author Antoni Diller
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 394
EAN 9780471939733
ISBN 0471939730
Libristo code 04894683
Publishers John Wiley & Sons Inc
Weight 690
Dimensions 244 x 172 x 21

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account