Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Ada

Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science)


Blowout Sale! Save 87% on the Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science) by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in


Product Description

This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000.
The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9783540676690
Item Weight:0.99 pounds
Item Size:0.72 x 9.25 x 9.25 inches
Package Weight:0.9 pounds
Package Size:6.1 x 0.7 x 0.7 inches

Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science) by Springer

Buy Now:
Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science)

Brand: Springer
4.3 out of 5 stars with 55 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$109.00
$14.33
You Save: 87%


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 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


By Springer
mpn: black & white illustrations, ean: 9783540686217, isbn: 3540686215,
th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Mo...

By Brand: Springer
mpn: biography, ean: 9783540732297, isbn: 3540732292,
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Eur...

By Springer
ean: 9783540797005, isbn: 3540797009,
Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capa...

By Springer
mpn: 1, black & white illustrations, ean: 9783540922421, isbn: 3540922423,
The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen,ithasbecomeamajordeclarativespeci?cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ?ve Workshops on Constrai...

By Springer
sku: 9783642019234, mpn: biography, ean: 9783642019234, isbn: 3642019234,
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from num...

By Springer
mpn: biography, ean: 9783642023507, isbn: 3642023509,
Much of a software architect’s life is spent designing software systems to meet a set of quality requirements. General software quality attributes include scalability, security, performance or reliability. Quality attribute requirements are part of...

By Springer
mpn: Illustrations, ean: 9783642135491, isbn: 3642135498,
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well ...

By Springer
ean: 9783642154874, isbn: 3642154875,
The ?rst edition of the International Colloquium on Grammatical Inference (ICGI) was held in Essex (United Kingdom) in 1993. After the success of this meeting there have been eight more editions that have been hosted by di- rent academic institutions...

By Springer
mpn: 27 black & white illustrations, 28 colou, ean: 9783642213373, isbn: 3642213375,
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invit...

By Springer
ean: 9783642634079, isbn: 3642634079,
Mit Hilfe dieses Buches lassen sich zuverlässige, wartbare und portable Programme entwickeln. Dabei unterstützen vollständige Programmbeispiele und Übungen mit Musterlösungen....



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