Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Ada

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science)


Mega Sale! Save 25% on the Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science) by Brand: Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux,


Product Description

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.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Publisher:Springer
Studio:Springer
EAN:9783540613176
Item Weight:1.62 pounds
Item Size:1.2 x 9.25 x 9.25 inches
Package Weight:1.65 pounds
Package Size:6.1 x 1.2 x 1.2 inches

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science) by Brand: Springer

Buy Now:
Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science)

Brand: Brand: Springer
4.4 out of 5 stars with 20 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$129.00
$97.76
You Save: 24%


Quantity:  

 


View More In Ada.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9789051990751, isbn: 9051990758,
This book is aimed at both reviewing current Ada-based technology and appraising the 9X process. It contains some eleven technical papers which are extended versions of talks given during the 1991 International Ada UK conference. This conference took...

ean: 9789051991550, isbn: 905199155X,
The "ADA Yearbook" is an annual publication for all users of the ADA-programming language. It provides a source of information about ADA in an accessible form. As the world of ADA has matured, the volume of information has grown larger. As a result, ...

sku: 1003-WS1501-A02010-9051992181, ean: 9789051992182, isbn: 9051992181,
This the fifth issue of the annual publication organized by ADA UK. The intended audience includes managers (needing contact addresses and access to information about ADA products), software and systems engineers using ADA or those intending to use i...

This part of ISO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE) interfaces, as specified in ISO/IEC 13719-1, to the Ada programming language.A number of features are not completely defined in ISO/IEC 13719-1, some freedo...

This Technical Report provides guidance on the use of Ada when producing high integrity systems. In producing such applications it is usually the case that adherence to guidelines or standards has to be demonstrated to independent bodies. These guide...

mpn: with numerous figs., ean: 9783540102830, isbn: 3540102833,
Towards a formal description of ADA...

mpn: 1, ean: 9783540693352, isbn: 3540693351,
The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be appro...

mpn: biography, ean: 9783642702419, isbn: 3642702414,
This book is intended as a text for a course in programming languages. The pre­ requisites for such a course are insight in structured programming and knowledge as well as practical experience of at least one (e.g., Pascal) of the programming langua...

ean: 9780521392679, isbn: 0521392675,
The book presents the rationale behind the design and development of the programming language Ada. The material, incorporating corrections to its original printing by the Ada Joint Program Office (AJPO), will be essential reading for all those curren...

mpn: biography, ean: 9783642454189, isbn: 3642454186,
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Am...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.