Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Specification using Z (Paperback, 2nd ed. 2000) Price: R399
Discovery Miles 3 990
Add to cart
Formal Specification using Z (Paperback, 2nd ed. 2000): David Lightfoot

Formal Specification using Z (Paperback, 2nd ed. 2000)

David Lightfoot

Series: Grassroots

 (sign in to rate)
Price R399
Sold by
Aristata Bookshop - Fulfilled by Loot
Discovery Miles 3 990

Bookmark and Share

Expected to ship within 4 - 6 working days

Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.

General

Imprint: Red Globe Press
Country of origin: United Kingdom
Series: Grassroots
Release date: December 2000
First published: 2001
Authors: David Lightfoot
Dimensions: 246 x 189 x 10mm (L x W x T)
Format: Paperback
Pages: 176
Edition: 2nd ed. 2000
ISBN-13: 978-0-333-76327-8
Categories: Books > Science & Mathematics > Mathematics > Applied mathematics > General
Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 0-333-76327-0
Barcode: 9780333763278

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,548 Discovery Miles 25 480
Introducing Delphi Programming - Theory Through Practice (Paperback, 4th Edition): John Barrow, Linda Miller, Katherine Malan,...
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
 R751 Discovery Miles 7 510
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,646 R1,523 Discovery Miles 15 230
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
FORTRAN 90 for Scientists and Engineers (Paperback): Brian Hahn
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,359 Discovery Miles 13 590
Introduction to Computational Economics Using Fortran (Hardcover): Hans Fehr, Fabian Kindermann
Introduction to Computational Economics…
Hans Fehr, Fabian Kindermann Hardcover R4,258 Discovery Miles 42 580
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,273 Discovery Miles 12 730
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,458 Discovery Miles 24 580
A Day in Code- Python - Learn to Code in Python through an Illustrated Story (for Kids and Beginners) (Hardcover): Shari Eskenas
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R635 Discovery Miles 6 350
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,027 R881 Discovery Miles 8 810
C Programming For Beginners - The Simple Guide to Learning C Programming Language Fast! (Hardcover): Tim Warren
C Programming For Beginners - The Simple…
Tim Warren Hardcover R550 R505 Discovery Miles 5 050
Advanced Python Commands - Become a Programmer from Scratch and Learn the Most Important Commands of the Most Popular...
Advanced Python Commands - Become a…
Manuel Mcfeely Hardcover R781 R685 Discovery Miles 6 850

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners