English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
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
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
Posted on 2010-07-12
|  |
More John Wordsworth, "Software Development With Z: A Practical Approach to Formal Methods in Software Engineering" This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development. Download
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Uploading.com) | Alive |
| Download Link (Sharingmatrix.com) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Web Services and Formal Methods (Lecture Notes in Computer Science / Programming and Software Engineering) Roberto Bruni, Karsten Wolf, "Web Services and Formal Methods (Lecture Notes in Computer Science / Programming and Software Engineering)" Springer 2009 | ISBN: 3642013635 | 241 pages | PDF | 8,35 MB This book constitutes the thoroughly re ... |
 | Programming Practical Formal Software Engineering: Wanting the Software You Get Practical Formal Software Engineering: Wanting the Software You Get By Bruce MillsPublisher: Cambridge University Press 2009-01-19 | 374 Pages | ISBN: 0521879035 | PDF | 1.6 MBPractical Formal Software Engineering is a textbook aimed at fin ... |
 | The Art of Lean Software Development: A Practical and Incremental Approach The Art of Lean Software Development: A Practical and Incremental Approach142 pages | O'Reilly Media, Inc. (February 2, 2009) | ISBN: 0596517319 | PDF | 11.2 MBThis succinct book explains how you can apply the practices of Lean software dev ... |
 | Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle Ahmed Seffah, Jan Gulliksen, «Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle»Springer | ISBN: 140204027X | 2005 | PDF | 391 pages | 3.24 MBThe fields of HCI and Software Engineering have ... |
 | Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: ... Lectures (Lecture Notes in Computer Science) Publisher: Springer; 1 editionLanguage: EnglishISBN: 3540200835Paperback: 287 pagesData: November 5, 2003Format: PDFDescription: In the past ten years or so, software architecture has emerged as a central notion in the development of comple ... |
 | Technical Software Measurement and Estimation: A Practical Approach (Quantitative Software Engineering Series) Author: M. Carol Brennan, Linda M. LairdPublisher: Wiley-IEEE Computer Society Pr (2006)Binding: Hardcover, 280 pagespricer: $90.50ISBN-10: 0471676225editorialreviewsAn effective, quantitative approach for estimating and managing software p ... |
Comments (0)
