Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  
Letters: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

The Way of Z: Practical Programming with Formal Methods
The Way of Z: Practical Programming with Formal Methods
Date: 21 November 2010, 07:02

Free Download Now     Free register and download UseNet downloader, then you can FREE Download from UseNet.

    Download without Limit " The Way of Z: Practical Programming with Formal Methods " from UseNet for FREE!

The Way of Z: Practical Programming with Formal Methods By Jonathan Jacky
Publisher: Cam.bri..dge Uni.vers.ity Pres.s 1996 | 367 Pages | ISBN: 0521559766 , 0521550416 | DJVU | 2 MB


This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.






NO PASSWORD

!!!No Mirrors below, please! Follow Rules!


Related Articles:
Programming   Formal   Methods   Practical  

DISCLAIMER:

This site does not store The Way of Z: Practical Programming with Formal Methods on its server. We only index and link to The Way of Z: Practical Programming with Formal Methods provided by other sites. Please contact the content providers to delete The Way of Z: Practical Programming with Formal Methods if any and email us, we'll remove relevant links or contents immediately.



Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches