Related Books

Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
Language: en
Pages: 302
Authors: Roel J Wieringa
Categories:
Type: BOOK - Published: 1995-06-09 - Publisher: World Scientific

DOWNLOAD EBOOK

This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
Language: en
Pages: 322
Authors: Amir Pnueli
Categories:
Type: BOOK - Published: 1996-10-25 - Publisher: World Scientific

DOWNLOAD EBOOK

This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang w
Recent Trends in Data Type Specification
Language: en
Pages: 568
Authors: Magne Haveraaen
Categories: Computers
Type: BOOK - Published: 1996-09-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Da
Advanced Information Systems Engineering
Language: en
Pages: 600
Authors: Panos Constantopoulos
Categories: Business & Economics
Type: BOOK - Published: 1996-05-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the 8th International Conference on Advanced Information Systems Engineering, CAiSE '96, held in Herakleion, Cret
Logics for Databases and Information Systems
Language: en
Pages: 442
Authors: Jan Chomicki
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so