Special issue on formal methods in databases and software engineering

Special issue on formal methods in databases and software engineering
Author: Vangalur S. Alagar
Publisher:
Total Pages: 231
Release: 1994
Genre:
ISBN:


Download Special issue on formal methods in databases and software engineering Book in PDF, Epub and Kindle


Special issue on formal methods in databases and software engineering
Language: en
Pages: 231
Authors: Vangalur S. Alagar
Categories:
Type: BOOK - Published: 1994 - Publisher:

GET EBOOK

Formal Methods in Databases and Software Engineering
Language: en
Pages: 241
Authors:
Categories:
Type: BOOK - Published: 1994 - Publisher:

GET EBOOK

Formal Methods in Databases and Software Engineering
Language: en
Pages: 201
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information syste
Formal Methods and Software Engineering
Language: en
Pages: 770
Authors: Karin Breitman
Categories: Computers
Type: BOOK - Published: 2009-11-18 - Publisher: Springer

GET EBOOK

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design te
Object-oriented Technology For Database And Software Systems
Language: en
Pages: 320
Authors: V S Alagar
Categories: Computers
Type: BOOK - Published: 1995-09-28 - Publisher: World Scientific

GET EBOOK

Object orientation has become a “must know” subject for managers, researchers, and software practitioners interested in the design, evolution, reuse and man