Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

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

Formal Methods in Databases and Software Engineering( )
Editor: Alagar, V. S.
Lakshmanan, Laks V. S.
Sadri, F.
Series title:Workshops in Computing Ser.
ISBN:978-1-4471-3213-4
Publication Date:Dec 2012
Publisher:Springer
Book Format:Ebook
List Price:USD $99.00
Book Description:

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 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...
More Description

Book Details
Pages:193



Featured Books

A Woman Is No Man
Rum, Etaf
Paperback: $16.99
The Canterbury Tales
Chaucer, Geoffrey
Paperback: $10.00
Little Women
Alcott, Louisa May
Paperback: $14.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.