Frete Grátis
  • Google Plus

High Integrity ADA - The Spark Approach (Cód: 9242214)

Barnes,John; Barnes,J

Addison Wesley

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 289,50 em até 9x de R$ 32,17 sem juros
Cartão Saraiva R$ 275,03 (-5%) em até 1x no cartão ou em até 12x de R$ 24,13 sem juros
Grátis

Cartão Saraiva

Descrição

This is an introduction to the SPARK programming language and its associated tools. Developed for the writing of high integrity software, SPARK is valued in application areas where getting the program right really matters. High Integrity Ada is an introduction to the SPARK programming language and its associated tools. Developed for the writing of high integrity software, SPARK is valued in application areas where getting the program right really matters.In John Barnes' clear and accessible writing style, this book combines a thorough description of the language with practical advice on how to use the SPARK tools. Illustrated with numerous examples and case studies, this book will teach you how to write more reliable software.The CD-ROM accompanying the book contains the SPARK tools plus additional documentation as well as all major examples of programs from the text.'The reader will enjoy John Barnes' lively guidance through SPARK. With panache he combines rigorous clarity and a great sense of fun.'from the foreword by Bernard Carri'I've long watched for an approachable discussion of SPARK. This is it. ... The community and SPARK have long deserved to meet each other on such friendly terms.'James Sutton, Lockheed'This book will be indispensable to the serious SPARK user, since it includes a very accessible definition of the language and provides all the necessary background material on static analysis as performed by the tools.'Phil Thornley, British Aerospace This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada 95 language. SPARK was specifically developed to serve industries developing high-integrity, safety-critical software with a language and associated toolset which increase the likelihood of the program behaving as intended.

Características

Produto sob encomenda Sim
Marca Addison Wesley
Cód. Barras 9780201175172
Altura 24.13 cm
I.S.B.N. 9780201175172
Profundidade 2.67 cm
Referência 000069791
Acabamento Capa dura
Ano da edição 1997
Idioma Inglês
Número de Páginas 384
Peso 0.68 Kg
Largura 17.75 cm
AutorBarnes,John; Barnes,J

Avaliações

Avaliação geral: 0

Você está revisando: High Integrity ADA - The Spark Approach