Actimania web directory of carefully selected sites
Arts Business Computers Games Health Home Teens News Recreation Reference Regional Science Shopping

Looking for a directory of carefully selected sites in Computers, Programming, Languages, Z, Books ? Actimania, based on the largest, most comprehensive human-edited directory of the web, covers a large variety of annotated sites related to Computers, Programming, Languages, Z, Books. This category lists wide range of carefully selected sites in Computers, Programming, Languages, Z, Books.

Hotels Galaxy - Hotels all around the world. Discount hotels, hotel rates and lodging reservation. Hotels reservations, flights, cars, travel, vacations, cruises.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
OOVacances - Vacations in France - Vacations and Holidays in France. Vacation Rentals of Private Villas, cottages, cabins, apartments and condos.

Top: Computers: Programming: Languages: Z: Books:

    http://www.amazon.com/s/url=search-alias%3Dstripbooks&field-keywords=z+programming   » Amazon.com: Z Programming - Lists books for sale on the topic of Z programming. Includes descriptions of individual books, reviews and purchase information.

    http://www.pearsonhighered.com/educator/academic/product/0,,0132422077,00%2ben-USS_01DBC.html   » Introduction to Formal Specification and Z - By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can greatly improve the way software systems are modeled, implemented; investigate specifications before construction. [Prentice Hall]

    http://www-users.cs.york.ac.uk/~susan/bib/ss/ooz/index.htm   » Object Orientation in Z - Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add OO concepts and structuring to Z. Each shows same problems, for comparing. [University of York]

    http://www.itee.uq.edu.au/~smith/book.html   » The Object-Z Specification Language - By Graeme Smith; Kluwer Academic Publishers, 2000, ISBN 0792386841. Textbook or reference, fully describes topic: semantics, defines all constructs, type and usage rules, specification guidelines, full syntax. [University of Queensland]

    http://www.springer.com/computer/artificial/book/978-0-7923-8684-1   » The Object-Z Specification Language - Book by Graeme Smith (1999). Description, table of contents, link to book series.

    http://www.usingz.com/   » Using Z: Specification, Refinement, and Proof - By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]

    http://staff.washington.edu/jon/z-book/   » The Way of Z: Practical Programming with Formal Methods - By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University of Washington]

    http://spivey.oriel.ox.ac.uk/mike/zrm/   » The Z Notation: A Reference Manual - J. Mike Spivey; Prentice Hall, International Series in Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard reference work for Z. Description, free downloads: PostScript, PDF, LaTeX. [University of Oxford]

This page of directory is focused on one aspect of Computers, Programming, Languages, Z, Books.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur


Actimania web directory list the sites by theme. The links in Actimania directory are collected, edited and organized by humans.

Copyright © Actimania
Annuaire thematique francophone

Business | Hotels | Computers | Games | Health | News | Vacances | Recreation | Hotels Booking | Science | Shopping