Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada SPARK 2014 User's Guide
Type
Physical Book
Author
Publisher
Language
English
Pages
312
Format
Paperback
Dimensions
28x21.6x1.7 cm
Weight
0.73 kg.
ISBN13
9789888407163
Categories

SPARK 2014 User's Guide

Altran Uk Ltd (Author) · Adacore Team (Author) · Samurai Media Limited · Paperback

SPARK 2014 User's Guide - Ltd, Altran Uk ; Team, Adacore

New Book Imported to Netherlands
Delivery: 30 Sep - 07 Oct Shipping: 16 to 20 business days.
€ 49,69
Import costs and 9% BTW included in the price ✅
€ 49,69

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "SPARK 2014 User's Guide"

SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of contracts and aspects to support modular, formal verification. The new aspects support abstraction and refinement and facilitate deep static analysis to be performed including flow analysis and formal verification of an implementation against a specification. SPARK 2014 is a much larger and more flexible language than its predecessor SPARK 2005. The language can be configured to suit a number of application domains and standards, from server-class high-assurance systems (such as air-traffic management applications), to embedded, hard real-time, critical systems (such as avionic systems complying with DO-178C Level A). A major feature of SPARK 2014 is the support for a mixture of proof and other verification methods such as testing, which facilitates in particular the use of unit proof in place of unit testing; an approach now formalized in DO-178C and the DO-333 formal methods supplement. Certain units may be formally proven and other units validated through testing.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews