Formal Methods in Databases and Software Engineering Image close
Formal Methods in Databases and Software Engineering
Formal Methods in Databases and Software Engineering
Show Hide Adult Content
Formal Methods in Databases and Software Engineering close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

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
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$149.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.25 with Afterpay Learn more

6 weekly interest-free payments of $24.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Workshops in Computing

See all products in this series

Security and Persistence
$156.00
Security and Persistence
Paperback / softback
Available - Usually ships in 3-4 weeks
Interfaces to Database Systems (IDS92)
$298.00
Interfaces to Database Systems (IDS92)
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Trustworthy Computer Systems (FM89)
$152.00
Formal Methods for Trustworthy Computer Systems (FM89)
Paperback / softback
Available - Usually ships in 3-4 weeks
Z User Workshop, London 1992
$154.00
Z User Workshop, London 1992
Paperback / softback
Available - Usually ships in 3-4 weeks
Persistent Object Systems
$159.00
Persistent Object Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
AI and Cognitive Science ’92
$154.00
AI and Cognitive Science ’92
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Databases and Information Systems
$298.00
Advances in Databases and Information Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
AI and Cognitive Science ’90
$156.00
AI and Cognitive Science ’90
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Formal Methods 1993
$153.00
Theory and Formal Methods 1993
Paperback / softback
Available - Usually ships in 3-4 weeks
Object Orientation in Z
$149.00
Object Orientation in Z
Paperback / softback
Available - Usually ships in 3-4 weeks
NAPAW 92
$149.00
NAPAW 92
Paperback / softback
Available - Usually ships in 3-4 weeks
East/West Database Workshop
$156.00
East/West Database Workshop
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional Programming, Glasgow 1991
$155.00
Functional Programming, Glasgow 1991
Paperback / softback
Available - Usually ships in 3-4 weeks
Z User Workshop, Cambridge 1994
$156.00
Z User Workshop, Cambridge 1994
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Measurement
$150.00
Formal Aspects of Measurement
Paperback / softback
Available - Usually ships in 3-4 weeks
ALPUK91
$150.00
ALPUK91
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The workshop on "Formal Methods in Databases and Software Engineering" took place at Concordia University, Montreal, Canada, in May 1992. Most existing research tends to concentrate exclusively on formal methods in either databases or software engineering. This was the first in a proposed series of workshops specifically aimed at fostering interdisciplinary research between these two important fields. The workshop provided an opportunity for researchers and practitioners to discuss recent developments in an informal setting. This volume contains selected papers which have been expanded and edited for publication. The theme of the workshop was explored through a variety of topics, including: transaction logic programming; modelling uncertainty and incompleteness in databases; concept learning and data mining; efficient deduction and induction in knowledge-base systems; proof management and verification; temporal and real-time databases; object-oriented VDM; software engineering environments and object charts.
Release date NZ
February 24th, 1993
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by F. Sadri
  • Edited by Laks V. S. Lakshmanan
  • Edited by V. S. Alagar
Edition
Softcover reprint of the original 1st ed. 1993
Illustrations
VII, 193 p.
Pages
193
Dimensions
155x235x11
ISBN-13
9783540198123
Product ID
14000173

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Object-oriented programming
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development >
Object-oriented programming (OOP)
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation