Reliable Software Technologies -- Ada-Europe 2003

Reliable Software Technologies -- Ada-Europe 2003

  • Jean-Pierre Rosen
  • Alfred Strohmeier
Publisher:SpringerISBN 13: 9783540449478ISBN 10: 3540449477

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,503Book ChorGOCrosswordGODC BooksGO

e-book & Audiobook deals ―

Amazon India GOGoogle Play Books ₹43.44Audible GO

* Price may vary from time to time.

* GO = We're not able to fetch the price (please check manually visiting the website).

Know about the book -

Reliable Software Technologies -- Ada-Europe 2003 is written by Jean-Pierre Rosen and published by Springer. It's available with International Standard Book Number or ISBN identification 3540449477 (ISBN 10) and 9783540449478 (ISBN 13).

The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Ravenscar, language issues, static analysis, distributed information systems, software metrics, software components, formal specification, real-time kernel, software testing, and real-time systems design.