This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur DA1411120
Quantité disponible : 1 disponible(s)
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Etat : 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 réf. du vendeur 1826716-6
Quantité disponible : 1 disponible(s)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In. N° de réf. du vendeur ria9783540613176_new
Quantité disponible : Plus de 20 disponibles
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540613176
Quantité disponible : 10 disponible(s)
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Paperback. Etat : New. 1996 ed. N° de réf. du vendeur LU-9783540613176
Quantité disponible : Plus de 20 disponibles
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with fou. N° de réf. du vendeur 4895565
Quantité disponible : Plus de 20 disponibles
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 532 pp. Englisch. N° de réf. du vendeur 9783540613176
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds. N° de réf. du vendeur 9783540613176
Quantité disponible : 1 disponible(s)
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds. 532 pp. Englisch. N° de réf. du vendeur 9783540613176
Quantité disponible : 2 disponible(s)
Vendeur : preigu, Osnabrück, Allemagne
Taschenbuch. Etat : Neu. Reliable Software Technologies - Ada Europe 96 | 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings | Alfred Strohmeier | Taschenbuch | xii | Englisch | 1996 | Springer | EAN 9783540613176 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 101647527
Quantité disponible : 5 disponible(s)