Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods Databases and Software Engineering , Montreal, Canada, 15-16 May 1992

Available through our Marketplace sellers.
Other sellers (Hardcover)
  • All (1) from $145.00   
  • New (1) from $145.0   
Close
Sort by
Page 1 of 1
Showing All
Note: Marketplace items are not eligible for any BN.com coupons and promotions
$145.00
Seller since Tue Oct 07 09:37:03 EDT 2014

Feedback rating:

(184)

Condition:

New — never opened or used in original packaging.

Like New — packaging may have been opened. A "Like New" item is suitable to give as a gift.

Very Good — may have minor signs of wear on packaging but item works perfectly and has no damage.

Good — item is in good condition but packaging may have signs of shelf wear/aging or torn packaging. All specific defects should be noted in the Comments section associated with each item.

Acceptable — item is in working order but may show signs of wear such as scratches or torn packaging. All specific defects should be noted in the Comments section associated with each item.

Used — An item that has been opened and may show signs of wear. All specific defects should be noted in the Comments section associated with each item.

Refurbished — A used item that has been renewed or updated and verified to be in proper working condition. Not necessarily completed by the original manufacturer.

New
Brand new.

Ships from: acton, MA

Usually ships in 1-2 business days

  • Standard, 48 States
  • Standard (AK, HI)
Page 1 of 1
Showing All
Close
Sort by
Sending request ...

Product Details

Table of Contents

Transaction Logic: An (Early) Expose 1
Aggregate Operations in the Information Source Tracking Method 24
An Incremental Concept Formation Approach for Learning from Databases 39
The Tecton Proof System 54
Modeling Time in Information Systems 80
A Unified Framework for Database Specification: Functional Approach 96
Using VDM Within an Object-Oriented Framework 111
Software Engineering Environments - What Do We Want? 122
Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems 139
On Querying Temporal Deductive Databases 158
Intuitionistic Interpretation of Deductive Databases with Incomplete Information 175
Author Index 193
Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)