0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (2)
  • R5,000 - R10,000 (1)
  • -
Status
Brand

Showing 1 - 4 of 4 matches in All Departments

Building High Integrity Applications with SPARK (Hardcover): John W. McCormick, Peter C. Chapin Building High Integrity Applications with SPARK (Hardcover)
John W. McCormick, Peter C. Chapin
R3,866 Discovery Miles 38 660 Ships in 12 - 19 working days

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

Building Parallel, Embedded, and Real-Time Applications with Ada (Hardcover): John W. McCormick, Frank Singhoff, Jerome Hugues Building Parallel, Embedded, and Real-Time Applications with Ada (Hardcover)
John W. McCormick, Frank Singhoff, Jerome Hugues
R3,140 Discovery Miles 31 400 Ships in 12 - 19 working days

The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results.

Building High Integrity Applications with SPARK (Paperback): John W. McCormick, Peter C. Chapin Building High Integrity Applications with SPARK (Paperback)
John W. McCormick, Peter C. Chapin
R1,610 Discovery Miles 16 100 Ships in 12 - 19 working days

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

Programming and Problem Solving with Ada 95 (Paperback, 2nd edition): Nell Dale, Chip Weems, John W. McCormick Programming and Problem Solving with Ada 95 (Paperback, 2nd edition)
Nell Dale, Chip Weems, John W. McCormick
R5,782 Discovery Miles 57 820 Ships in 10 - 15 working days

Programming & Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 & its syntax without overwhelming the student. The book focuses on the development of good programming habits. This text offers superior pedagogy that has long defined computer science education, including problem-solving case studies, testing & debugging sections, quick checks, exam preparation, programming warm-up exercises, & programming problems. The extensive coverage of material in such a student-friendly resource means that more rigor, more theory, greater use of abstraction & modeling, & the earlier application of software engineering principles can be employed.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Topics in the Surgery of the Biliary…
Hesham Abdeldayem Hardcover R3,317 Discovery Miles 33 170
Deponency and Morphological Mismatches
Matthew Baerman, Greville G. Corbett, … Hardcover R3,029 Discovery Miles 30 290
Down the Silver Road
Sarah Quartel Sheet music R129 Discovery Miles 1 290
O Lord, make thy servant Elizabeth our…
Bob Chilcott Sheet music R129 Discovery Miles 1 290
Be like the bird
Sarah Quartel Sheet music R145 Discovery Miles 1 450
How to Become an International Disaster…
Michael Noone Paperback R935 Discovery Miles 9 350
Agreement, Pronominal Clitics and…
Hamid Ouali Hardcover R5,606 Discovery Miles 56 060
The Hartford Circus Fire - Tragedy Under…
Michael Skidgell Paperback R486 R452 Discovery Miles 4 520
A Dictionary of Austronesian…
Robert Blust Hardcover R4,377 Discovery Miles 43 770
Advances in Surgery, 2017, Volume 2017
John L. Cameron, Timothy G Buchman, … Hardcover R3,503 Discovery Miles 35 030

 

Partners