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...
The Bloomsbury Handbook of Fichte
Marina F Bykova Hardcover R5,649 Discovery Miles 56 490
Why There Is No Poststructuralism in…
Johannes Angermuller Hardcover R3,541 Discovery Miles 35 410
Institutional Transformation Through…
Mark Stansfield, Thomas Connolly Hardcover R5,359 Discovery Miles 53 590
20th Century Aesthetics - Towards A…
Mario Perniola Hardcover R5,600 Discovery Miles 56 000
Spinoza - The Ethics of an Outlaw
Ivan Segre Hardcover R4,223 Discovery Miles 42 230
Biography of an American Bondman
Josephine Brown Paperback R400 Discovery Miles 4 000
Contemporary Plays by African Women…
Yvette Hutchison, Amy Jephta Paperback R843 Discovery Miles 8 430
Global Fluid 100 Easy Block Watercolour…
R591 R496 Discovery Miles 4 960
Big Friendship - How We Keep Each Other…
Aminatou Sow, Ann Friedman Paperback R416 R387 Discovery Miles 3 870
Field Guide to the Battlefields of South…
Nicki Von Der Heyde Paperback R500 R461 Discovery Miles 4 610

 

Partners