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...
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Blood Brothers - To Battleground Smokeshell and Back (Paperback): Deon Lamprecht
Blood Brothers - To Battleground…
Deon Lamprecht Paperback R290 R195 Discovery Miles 1 950
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R318 Discovery Miles 3 180
Aerolatte Cappuccino Art Stencils (Set of 6):
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950
Bostik Clear (50ml):
Bostik Clear (50ml)
R57 Discovery Miles 570
Seagull Clear Storage Box (29lt):
Seagull Clear Storage Box (29lt)
R241 Discovery Miles 2 410
Folding Table (Black) (1.8m):
Folding Table (Black) (1.8m)
 (1)
 R1,299 R699 Discovery Miles 6 990
Pineware Steam, Spray & Dry Iron (Blue) (1400W):
Pineware Steam, Spray & Dry Iron (Blue…
R199 R187 Discovery Miles 1 870
Sellotape Clear Tape - Double Value (12mm x 66m):
Sellotape Clear Tape - Double Value…
R22 R16 Discovery Miles 160
Colleen Pencil Crayons - Assorted Colours (Box of 12):
Colleen Pencil Crayons - Assorted…
R101 Discovery Miles 1 010

 
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