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

ZUM '95: The Z Formal Specification Notation

Language EnglishEnglish
Book Paperback
Book ZUM '95: The Z Formal Specification Notation Jonathan P. Bowen
Libristo code: 05274496
Publishers Springer, Berlin, November 1994
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in... Full description
? points 317 b
134.22 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Etty Hillesum Alexandra Pleshoyano / Paperback
common.buy 37.67 €
Beck'sches Handbuch der AG Florian Drinhausen / Hardback
common.buy 245.13 €
AIDS-Related Neoplasias Luzius Schmid / Paperback
common.buy 68.07 €
Moys Classification and Thesaurus for Legal Materials Elizabeth M. Moys / Hardback
common.buy 487.46 €
Der Gott des Gemetzels, 1 Audio-CD Yasmina Reza / Audio CD
common.buy 13.90 €
Verdrangung widerstandiger Lesarten? Medien und Macht bei Jean Baudrillard und Stuart Hall Andreas Mohr / Paperback
common.buy 51.33 €
Wounds and Words Christa Schönfelder / Paperback
common.buy 67.53 €
Digitale Medien Und Soziale Arbeit Daniel Woldrich / Paperback
common.buy 20.33 €

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

About the book

Full name ZUM '95: The Z Formal Specification Notation
Author Jonathan P. Bowen, Michael G. Hinchey
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 583
EAN 9783540602712
ISBN 3540602712
Libristo code 05274496
Publishers Springer, Berlin
Weight 774
Dimensions 156 x 234 x 30

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Combinatorics & graph theory
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Operating systems
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