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

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Software Specification - A Comparison of Formal Methods (Paperback): Marvin V. Zelkowitz, Jim Purtilo, John D. Gannon Software Specification - A Comparison of Formal Methods (Paperback)
Marvin V. Zelkowitz, Jim Purtilo, John D. Gannon
R695 R581 Discovery Miles 5 810 Save R114 (16%) Out of stock

Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The South African Keto & Intermittent Fasting Cookbook (Paperback): Rita Venter, Natalie Lawson
The South African Keto & Intermittent…
Rita Venter, Natalie Lawson Paperback R390 R299 Discovery Miles 2 990
Dunlop Pro Padel Balls (Green)(Pack of 3):
Dunlop Pro Padel Balls (Green)(Pack of…
R199 R165 Discovery Miles 1 650
Ab Wheel:
Ab Wheel
R209 R149 Discovery Miles 1 490
Kiddylicious Wriggles - Strawberry (12g):
Kiddylicious Wriggles - Strawberry (12g)
R21 Discovery Miles 210
Rotatrim A4 Paper Ream (80gsm)(500 Sheets):
Rotatrim A4 Paper Ream (80gsm)(500…
R97 Discovery Miles 970
Lucky Metal Cut Throat Razer Carrier:
Lucky Metal Cut Throat Razer Carrier
R30 Discovery Miles 300
Knock At The Cabin (DVD): Dave Bautista, Jonathan Groff, Rupert Grint
Knock At The Cabin
Dave Bautista, Jonathan Groff, … DVD R133 Discovery Miles 1 330
Snappy Tritan Bottle (1.2L)(Coral):
Snappy Tritan Bottle (1.2L)(Coral)
R209 R169 Discovery Miles 1 690
Hermes Le Jardin De Monsieur Li Eau De Toilette Spray (50ml) - Parallel Import (USA):
Hermes Le Jardin De Monsieur Li Eau De…
R2,423 R1,310 Discovery Miles 13 100
Boucheron Boucheron Eau De Parfum Spray (100ml) - Parallel Import (USA):
Boucheron Boucheron Eau De Parfum Spray…
R3,444 R1,046 Discovery Miles 10 460

 
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