Order Total (1 Item Items):
Shipping Destination:
Formal Methods Object Technology (47 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (47)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (43)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (6)
- Not Print on Demand (43)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Formal Methods and Object Technology
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Language: English
£ 3.59
Convert currency£ 6.99 shipping from France to United KingdomQuantity: 1 available
Add to basketSoftcover. 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.
-
£ 8.68
Convert currency£ 20.87 shipping from Germany to United KingdomQuantity: 2 available
Add to basketCondition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . Information and Communication Technology, 81)
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Association Member: ABA ILAB PBFA
Seller rating 5 out of 5 stars
First Edition
Hardcover. Condition: Like New. First Edition. Publisher's hardback in nearly new condition: firm and square, strong joints, sharp corners, no bumps. Contents crisp, tight and clean; no pen-marks, save a previous owner's name at the endpaper. Not from a library so no such stamps or labels. Looks unread. Thus a tidy book in very presentable condition.
-
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 94.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 94.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 97.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 101.14
Convert currencyFree shipping from Australia to United KingdomQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
£ 88.75
Convert currency£ 14.88 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New.
-
£ 82.98
Convert currency£ 21.82 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 83.90
Convert currency£ 22.31 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 83.90
Convert currency£ 22.31 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 83.90
Convert currency£ 22.31 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 96.22
Convert currency£ 12.22 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. 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.
-
£ 110.39
Convert currency£ 7.44 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 105.70
Convert currency£ 14.88 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 127.94
Convert currencyFree shipping from Australia to United KingdomQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Formal Methods and Object Technology (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Language: English
£ 92.31
Convert currency£ 37.21 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal methods to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
£ 126.45
Convert currency£ 6.70 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 388.
-
Formal Methods and Object Technology
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
£ 132.11
Convert currency£ 2.62 shipping from Ireland to United KingdomQuantity: 15 available
Add to basketCondition: New. This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed. Editor(s): Goldsack, Stephen J.; Kent, Stuart J. H. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 368 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 543. . 1996. Softcover reprint of the original 1st ed. 1996. Paperback. . . . .
-
Paperback. Condition: Brand New. 386 pages. 9.25x6.50x1.00 inches. In Stock.
-
£ 89.26
Convert currency£ 55.82 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 89.62
Convert currency£ 55.82 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 89.62
Convert currency£ 55.82 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Formal Methods and Object Technology
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Language: English
£ 158.92
Convert currency£ 2.23 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New. This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed. Editor(s): Goldsack, Stephen J.; Kent, Stuart J. H. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 368 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 543. . 1996. Softcover reprint of the original 1st ed. 1996. Paperback. . . . . Books ship from the US and Ireland.
-
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Open Object-Based Distributed Systems (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 167.39
Convert currency£ 22.31 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
