Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine. Bestandsnummer des Verk�ufers CHL10005333

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: High Integrity Ada: The Spark Approach

Verlag: Addison Wesley

Erscheinungsdatum: 1997

Einband: Hardcover

Zustand: Used; Very Good

�ber diesen Titel

Inhaltsangabe:

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.

Cr�ticas:

"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 Carre "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

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Reuseabook is an established second hand book seller. An ethical and environmentally conscious business, we look forward to providing you with a good read. Reuseabook is committed to providing each customer with the highest standard of customer service.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Reuseaworld Ltd
Unit A Mill Place 2, 90 Bristol Road, Gloucester, GL1 5SQ, United Kingdom

Gesch�ftsbedingungen:

Any customer wishing to return a book has 30 days to do so if they are not entirely satisfied.
Upon receipt, a refund of the cost of the book will be issued.

Legal company name : Reuseabook Partnership

Registered and returns address
Unit A
Mill Place 2
Bristol Road,
Gloucester
Gloucestershire
GL1 5SQ

Customer services and general contacts email: abe@reuseabook.com

Versandinformationen:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Unless noted otherwise in the ordering pipeline Reuseabook dispatches all items within two working days of receiving order You will receive notification of any delay or cancellation of your order.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu High Integrity Ada: The Spark Approach

High Integrity Ada: The Spark Approach

Barnes, J G P

Gebraucht - Hardcover

Unternehmensdaten des Verk�ufers