Importe total (1 artículo artículos):
Destino del pedido:
programming specifications introduction anna de luckham david (12 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (12)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (1)
- No impresión bajo demanda (11)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Publicado por Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Publicado por Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Publicado por Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Publicado por Verlag Gachnang & Springer, 1990
ISBN 10: 3540972544 ISBN 13: 9783540972549
Idioma: Inglés
Librería: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Convertir monedaEUR 17,00 gastos de envío desde Italia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoRilegato in Tela. Condición: fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro.
-
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 34,55
Convertir monedaEUR 28,92 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book.
-
Programming with Specifications - An Introduction to ANNA: A Language for Specifying Ada Programs
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 65,18
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,55
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 59,97
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Topics - what this book is about, - its intended audience, - what the reader ought to know, - how the book is organized, - acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan guage. In the past, the word 'specification' has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Monographs in Computer Science)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,11
Convertir monedaEUR 11,57 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 432 pages. 9.25x6.10x0.94 inches. In Stock.
-
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,86
Convertir monedaEUR 64,15 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 109,06
Convertir monedaEUR 17,34 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Publicado por Springer-Verlag New York Inc., 2012
ISBN 10: 1461396875 ISBN 13: 9781461396871
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,83
Convertir monedaEUR 8,75 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 643.
