«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

ANNA A Language for Annotating Ada Programs

Reference Manual

Idioma InglésInglés
Libro Tapa blanda
Libro ANNA A Language for Annotating Ada Programs David Luckham
Código Libristo: 01558422
Editores Springer, Berlin
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language e... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Examen de la Proposition de Loi de M. J. Bozerian, Sur Le Nom Commercial De Maillard De Marafy-L / Libro Tapa blanda
common.buy 14.19 €
Ruminations Over the History of Islam 对伊斯兰历史的沉思 Xuanjun Xie / Libro Tapa dura
common.buy 42.59 €
Exercices D'Apprentissage 2 Collective / Libro Tapa blanda
common.buy 19.59 €
Auditores e responsabilidades em matéria de fraude Bryant Akonjang / Libro Tapa blanda
common.buy 45.29 €
Subskr.-Pr / Libro Tapa dura
common.buy 81.09 €
Protestantische Ethik des Politischen Arnulf von Scheliha / Libro Tapa blanda
common.buy 39.49 €
Weihnachten in der kleinen Bucherei Amanda Kissel / Libro electrónico Adobe ePub DRM
common.buy 5.79 €
Gesetzlichen Rechte Des Ueberlebenden Ehegatten Nach Dem Deutschen Und Spanischen Kollisionsrecht Robert Beier / Libro Tapa blanda
common.buy 137.59 €
Aplicaciones de Macintosh a la filología clásica RIAÑO RUFILANCHAS / Libro Tapa blanda
common.buy 11.69 €
Romány tří mágů Jiří Karásek ze Lvovic / Libro Tapa dura
common.buy 15.19 €
Beloved Darkness Sandra Parker / Libro Tapa blanda
common.buy 10.09 €
Próximamente
CARTAS DE FRANCO, LAS PALACIOS / Libro Libro
common.buy 29.49 €
WORD 2013 / Libro Tapa blanda
common.buy 16.79 €
Lettres Provinciales... Blaise Pascal / Libro Tapa blanda
common.buy 31.79 €
Gestion de la cohérence de répliques des fichiers Ghalem Belalem / Libro Tapa blanda
common.buy 54.09 €
Cosas nuestras / Our Issues ILU ROS / Libro Tapa dura
common.buy 21.90 €
Bilderbuchkarten »Swimmy« von Leo Lionni Katrin Alt / Juego/Juguete Juego
common.buy 18.69 €

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos ANNA A Language for Annotating Ada Programs
Autor David Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner
Idioma Inglés
Encuadernación Libro - Tapa blanda
Número de páginas 148
EAN 9783540179801
ISBN 3540179801
Código Libristo 01558422
Editores Springer, Berlin
Peso 256
Dimensiones 155 x 233 x 8

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

How to Write a Novel: A Beginner's Guide Sean O'Neill / Libro Tapa blanda
common.buy 9.79 €
Popular Próximamente Nuevo
Veil Volume 6: Untangled Rouge Kotteri / Libro Tapa blanda
common.buy 14.29 €
Sailing with the Artemis Posse Natalie Keith / Libro electrónico Adobe ePub DRM
common.buy 5.79 €
Rules for Trade in Services 2.0 Gabriel Gari / Libro electrónico Adobe ePub DRM
common.buy 71.79 €
Cloisters Hays / Libro Tapa blanda
common.buy 10.99 €
Stories From the Heart Richard J. Meyer / Libro electrónico Adobe ePub DRM
common.buy 38.89 €
Designing Successful e-Learning Allen Michael W. Allen / Libro electrónico Adobe ePub DRM
common.buy 64.39 €
Cambridge International AS & A Level Mathematics: Mechanics Coursebook Digital Edition Jan Dangerfield / Libro electrónico Adobe ePub DRM
common.buy 23.99 €
Sweet and Clean? Susan North / Libro electrónico Adobe ePub DRM
common.buy 124.79 €
100 Animals Adult Coloring Book: An Adult Coloring Book with Lions, Elephants, Owls, Horses, Dogs, Cats, and Many More! A Lot of Relaxing and Beautifu Rose Heaven / Libro Tapa blanda
common.buy 10.69 €
Biotechnology for Biofuels: A Sustainable Green Energy Solution Nitish Kumar / Libro Tapa blanda
common.buy 169.09 €
Handbook of Research on Mass Shootings and Multiple Victim Violence Gordon a. Crews / Libro Tapa dura
common.buy 338.79 €
Topics in the Surgery of the Biliary Tree Hesham Abdeldayem / Libro Tapa dura
common.buy 126.69 €
A Common Evil: A Bailey Crane Mystery Billy Ray Chitwood / Libro Tapa blanda
common.buy 13.39 €
Reunion: Meeting Ourselves Again for the First Time Dr John V Tornfelt / Libro Tapa blanda
common.buy 13.49 €
View from the Bed Heather Tosteson / Libro Tapa blanda
common.buy 21.09 €
Saints in Old Norse and Early Modern Icelandic Poetry Kirsten Wolf / Libro Tapa dura
common.buy 117.19 €
Dynamic Assessment Matthew E. Poehner / Libro Tapa blanda
common.buy 129.39 €
Lipoprotein Protocols Jose M. Ordovas / Libro Tapa blanda
common.buy 118.29 €
Evidence-Based Endocrinology Victor M. Montori / Libro Tapa blanda
common.buy 128.79 €
House of Pomegranates Oscar Wilde / Libro Tapa blanda
common.buy 12.89 €
Nonlinear and Stochastic Dynamics of Compliant Offshore Structures eon Mi Han / Libro Tapa blanda
common.buy 169.09 €
Popular
Statistical Thermodynamics Erwin Schrodinger / Libro Tapa blanda
common.buy 8.79 €
Pyrdinium salt derivatives:synthesis and anticorrosion applications Atheer Mahmood / Libro Tapa blanda
common.buy 60.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?