Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: Ammareal, Morangis, France
Book
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Springer, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Book
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Published by Springer London, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: Buchpark, Trebbin, Germany
Book
Condition: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. | Seiten: 388.
Published by Springer, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer London Apr 1996, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: - Object Technology - Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them. 388 pp. Englisch.
Published by Springer London, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: moluna, Greven, Germany
Book
Condition: New.
Published by Springer London, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 386 pages. 9.25x6.50x1.00 inches. In Stock.
Published by Springer London, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: - Object Technology - Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.
Published by Springer, 1996
ISBN 10: 3540199772ISBN 13: 9783540199779
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.