Formal Methods Databases Software (16 results)
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.59
US$ 15.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.41
US$ 20.60 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
Alagar, V. S. (EDT); Lakshmanan, Laks V.s. (EDT); Sadri, F. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.67
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 87.00
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 204.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 88.68
US$ 13.30 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 200 pages. 9.25x6.10x0.46 inches. In Stock.
- Softcover
Seller: Studibuch, Stuttgart, GermanyStudibuch
Contact seller5-star sellerCondition: Used - Very good
US$ 28.28
US$ 92.86 shippingShips from Germany to U.S.A.Quantity: 2 available
paperback. Condition: Gut. 204 Seiten; 9783540198123.3 Gewicht in Gramm: 500.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.39
US$ 70.87 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term 'information systems' is used here in a very general context to denote database systems, software developm…ent systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is 'formal modeling'. An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from 'outside in'; that is, the aggregation of ideas is around real-life objects about which the system is to be designed. Formal methods yhen applied with this view in mind, especially during early stages of system development, can lead to a formal reasoning on the intended properties, thus revealing system flaws that might otherwise be discovered much later. Logic in different styles and semantics is being used to model databases and their transactions; it is also used to specify concurrent, distributed, real-time, and reactive systems. ,The notion of 'object' is central to the modeling of object oriented databases, as well as object-oriented design and programs in software engineering. Both database and software engineering communities have undoubtedly made important contributions to formalisms based on logic and objects. It is worthwhile bringing together the ideas developed by the two communities in isolation, and focusing on integrating their common strengths.
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, (Workshops in Computing)
Workshop on Formal Methods in Databases and Software Enginee
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 104.11
US$ 33.25 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.56
US$ 80.55 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods in Databases and Software Engineering | Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 | V. S. Alagar (u. a.) | Taschenbuch | VII | Englisch | 1993 | Springer | EAN 9783540198123 | Verantwortliche Person für die EU:… Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 121.92
US$ 33.25 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New. book.
Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
Alagar, V. S. (EDT); Lakshmanan, Laks V.s. (EDT); Sadri, F. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 153.87
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.39
US$ 26.47 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term 'information systems' is used here in a very general context to denote database systems, s…oftware development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is 'formal modeling'. An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from 'outside in'; that is, the aggregation of ideas is around real-life objects about which the system is to be designed. Formal methods yhen applied with this view in mind, especially during early stages of system development, can lead to a formal reasoning on the intended properties, thus revealing system flaws that might otherwise be discovered much later. Logic in different styles and semantics is being used to model databases and their transactions; it is also used to specify concurrent, distributed, real-time, and reactive systems. ,The notion of 'object' is central to the modeling of object oriented databases, as well as object-oriented design and programs in software engineering. Both database and software engineering communities have undoubtedly made important contributions to formalisms based on logic and objects. It is worthwhile bringing together the ideas developed by the two communities in isolation, and focusing on integrating their common strengths. 204 pp. Englisch.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 87.01
US$ 8.64 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 204 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 91.41
US$ 11.45 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 204.
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.33
US$ 56.37 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term information systems is used here in a very general context to denote databa…se systems, software development syste.
Language: English
Published by Springer, Springer Berlin Heidelberg Feb 1993 1993
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 63.39
US$ 69.04 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term 'information systems' is used here in a very general context to denote database systems, softw…are development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is 'formal modeling'. An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from 'outside in'; that is, the aggregation of ideas is around real-life objects about which the system is to be designed. Formal methods yhen applied with this view in mind, especially during early stages of system development, can lead to a formal reasoning on the intended properties, thus revealing system flaws that might otherwise be discovered much later. Logic in different styles and semantics is being used to model databases and their transactions; it is also used to specify concurrent, distributed, real-time, and reactive systems. ,The notion of 'object' is central to the modeling of object oriented databases, as well as object-oriented design and programs in software engineering. Both database and software engineering communities have undoubtedly made important contributions to formalisms based on logic and objects. It is worthwhile bringing together the ideas developed by the two communities in isolation, and focusing on integrating their common strengths.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 204 pp. Englisch.
