Montant total (1 article articles) :
Destination de la commande :
programming specifications introduction anna de luckham david (12 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (12)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (1)
- Sans impressions à la demande (11)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Edité par Springer-Verlag New York Inc, 1991
ISBN 10 : 0387972544 ISBN 13 : 9780387972541
Langue: anglais
Hardcover. Etat : 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
Edité par Springer-Verlag New York Inc, 1991
ISBN 10 : 0387972544 ISBN 13 : 9780387972541
Langue: anglais
Hardcover. Etat : 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
Edité par Springer-Verlag New York Inc, 1991
ISBN 10 : 0387972544 ISBN 13 : 9780387972541
Langue: anglais
Hardcover. Etat : 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
Edité par Verlag Gachnang & Springer, 1990
ISBN 10 : 3540972544 ISBN 13 : 9783540972549
Langue: anglais
Vendeur : Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italie
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,75
Autre deviseEUR 17 expédition depuis Italie vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierRilegato in Tela. Etat : 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)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 34,55
Autre deviseEUR 28,92 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,18
Autre deviseGratuit expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,55
Autre deviseEUR 4,62 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,97
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,11
Autre deviseEUR 11,57 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : 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)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,86
Autre deviseEUR 64,15 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 109,06
Autre deviseEUR 10,98 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Edité par Springer-Verlag New York Inc., 2012
ISBN 10 : 1461396875 ISBN 13 : 9781461396871
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,83
Autre deviseEUR 7,94 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 643.
