Artículos relacionados a High Integrity Ada: The Spark Approach
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para High Integrity Ada: The Spark Approach
Imagen de archivo
High Integrity ADA : The Spark Approach
Publicado por
Pearson Education, Limited, 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Antiguo o usado
Tapa dura
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: GRP98571945
Comprar usado
EUR 12,96
Envío por EUR 5,99
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
High Integrity Ada: The Spark Approach
Publicado por
Addison-Wesley, 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Antiguo o usado
Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_474720028
Comprar usado
EUR 32,06
Envío por EUR 3,34
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
High Integrity Ada: The Spark Approach
Publicado por
Addison-Wesley, 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Antiguo o usado
Tapa dura
Librería: Goodwill of Silicon Valley, SAN JOSE, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Nº de ref. del artículo: GWSVV.0201175177.G
Comprar usado
EUR 47,84
Envío por EUR 3,55
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
High Integrity Ada: The Spark Approach
Publicado por
Pearson Education (US), 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Antiguo o usado
Tapa dura
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 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. Nº de ref. del artículo: CIN0201175177G
Comprar usado
EUR 52,97
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
High Integrity Ada: The Spark Approach
Publicado por
Pearson Education (US), 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Antiguo o usado
Tapa dura
Librería: World of Books Inc, Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: Good. 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. Nº de ref. del artículo: CIN0201175177G
Comprar usado
EUR 55,62
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles