Using Z Specification Refinement And Proof Specification Proof Refinement(1st Edition)
Authors:
Jim Woodcock ,J C P Woodcock ,Jim Davies
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$225.4
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0139484728, 978-0139484728
Book publisher: Prentice Hall
Book Price $225.4 : This Book Contains Enough Mnaterial For Three Complete Courses Of Study. It Provides An Introduction To The World Of Logic, Sets And Relations. It Explains The Use Of The Znotation In The Specification Of Realistic Systems. It Shows How Z Specifications May Be Refined To Produce Executable Code; This Is Demonstrated In A Selection Of Case Studies. The Essentials Of Specification, Refinement And Proof Are Covered, Revealing Techniques Never Previously Published. Exercises, Solutions And Set Of Tranparencies Are Available Via Http://www.comlab.ox.ac.uk/usingz.html
Popular Among Students (8)
Digital Design From Zero To One - 1st Edition
Jerry D Daniels
ISBN: 0471124478, 978-0471124474
$0 $13.70
Microcontrollers For Students The Theory - 1st Edition
Dogan Ibrahim
ISBN: 1907540407, 978-1907540400
$0 $52.76
Unity From Zero To Proficiency Beginner A Step By Step Guide To Coding Your First Game - 1st Edition
Patrick Felicia
ISBN: 1091872023, 978-1091872028
$0 $16.50
Disarming Code System Programming Debugging And Reverse Engineering In Linux Android Darwin - 1st Edition
Jonathan Levin
ISBN: 0991055500, 978-0991055500
$80.5 $115.00
The Maze The Password Organizer Log That Looks Like A Regular Book - 1st Edition
Lourdes Welhaven
ISBN: 1500822663, 978-1500822668
$0 $8.48Recommended For You (6)
Programmers Problem Solver For The I B M Personal Computer X T And A T - 1st Edition
Robert Jourdain
ISBN: 0893037877, 978-0893037871
$224.7 $321.00
Mothers Babies And Cocaine The Role Of Toxins In Development - 1st Edition
Michael Lewis
ISBN: 080581583X, 978-0805815832
$80.79 $115.42
Unity 5.x 2d Game Development Blueprints - 1st Edition
Francesco Sapio
ISBN: 178439310X, 978-1784393106
$0 $43.99
An Introduction To Compiler Construction - 1st Edition
William M Waite
ISBN: 0673398226, 978-0673398222
$0 $40.45
Turn The Table On Cybercrime Profiling Cybercriminals Who Are They - 1st Edition
David F Harris
ISBN: B0CKCDGPLN, 979-8863272863
$0 $7.99