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
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.
|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|
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.
Related Best Sellers
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...
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...
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...
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...
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...
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 ...
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...
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...
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....