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...
Westworld - Season 4 - The Choice
Evan Rachel Wood, Thandiwe Newton, … DVD R371 Discovery Miles 3 710
Zap! Air Dry Pottery Kit
Kit R250 R195 Discovery Miles 1 950
Rogz Indoor 3D Pod Dog Bed (Petrol/Grey…
R1,775 R859 Discovery Miles 8 590
Loot
Nadine Gordimer Paperback  (2)
R383 R310 Discovery Miles 3 100
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950
Lucifer - Season 5
Tom Ellis DVD  (1)
R174 Discovery Miles 1 740
Shatter Me - 9-Book Collection
Tahereh Mafi Paperback R1,699 R1,143 Discovery Miles 11 430
Huntlea Original Memory Foam Mattress…
R999 R539 Discovery Miles 5 390
Be Safe Paramedical Disposable Triangle…
R4 Discovery Miles 40
Trade Professional Drill Kit Cordless…
 (9)
R2,223 Discovery Miles 22 230

 

Partners