High Integrity Ada: The Spark Approach

Idioma: inglés

Editorial: Pearson Education (US), 1997

0201175177 / 9780201175172

Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de AmericaWorld of Books (was SecondSale)

Vendedor de 5 estrellas

Vendedor de IberLibro desde 20 de diciembre de 2007

Tapa dura

Condición: Usado - Aceptable

EUR 52,97

 Gastos de envío gratis 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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

Título
High Integrity Ada: The Spark Approach
Autor
J Barnes
Editorial
Pearson Education (US)
Año de publicación
1997
Estado
Good
Encuadernación
Encuadernación de tapa dura
Idioma
inglés
ISBN 10
0201175177
ISBN 13
9780201175172

World of Books (was SecondSale)

Montgomery, IL, Estados Unidos de America

Vendedor de 5 estrellas

Vendedor de IberLibro desde 20 de diciembre de 2007

Tarifas de envío en Estados Unidos de America

ArtículoDe 4 a 12 días hábilesDe 3 a 6 días hábiles
Primer artículoEUR 0,00EUR 9,75
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descripción de la tienda

Founded in 2002, World of Books is a leading online destination for buying and selling both preloved and new books, committed to making sustainable reading accessible to all. With a mission to help people read more and waste less, World of Books offers a huge range of affordable, high-quality books — giving both new and preloved titles a second life. The company also operates World of Books – Sell Your Books, an easy-to-use platform that allows customers to trade in unwanted books for cash, helping to keep books in circulation while promoting sustainability. As a Certified B Corp, World of Books is driven by a vision to become the world’s largest and most sustainable dedicated online bookstore. The company measures its success through the positive environmental impact it creates, the value it provides to customers, and its ability to operate profitably while supporting its sustainable mission …

Información empresarial del vendedor

SBYB, Inc.

900 Knell Rd
Montgomery, IL Estados Unidos de America 60538