Book (30 Apr 1985)
Not available for sale
Out of stock
This book contains papers on the theoretical and formal aspects of information systems. The fifteen papers address two main problems in the area: consolidation of the underlying concepts and identification of suitable formal tools for information system development. Several new modeling abstraction mechanisms and languages are presented and discussed, as well as logical formalisms for correctness analysis of specifications.
| ISBN: | 9780444877062 |
| Publisher: | North-Holland |
| Imprint: | North-Holland |
| Pub date: | 30 Apr 1985 |
| DEWEY: | 001.6442 |
| DEWEY edition: | 18 |
| Language: | English |
| Number of pages: | 236 |
| Weight: | -1g |
The Art of Explanation
Paperback
Published 23 May 2024
$21.44off
DuckDB: Up and Running
Paperback
Published 20 Dec 2024
Save $21.44
$25.36off
Streaming Databases
Paperback
Published 20 Aug 2024
Save $25.36
$9.45off
Exam Ref DP-600 Implementing An...
Paperback
Published 04 Sep 2024
Save $9.45
$13.44off
Advances in Blockchain Research...
Paperback
Published 30 Jun 2025
Save $13.44
$36.94off
Big Data, Data Mining and Data ...
Hardback
Published 30 Dec 2024
Save $36.94
$17.48off
Veridical Data Science
Hardback
Published 07 Oct 2024
Save $17.48
$6.47off
Practical A/B Testing
Paperback
Published 27 Aug 2024
Save $6.47
$1.11off
Qlik Sense for Business Intelli...
Paperback
Published 23 Jul 2024
Save $1.11
$39.15off
Cloud Computing Basics
Paperback
Published 30 Dec 2018
Save $39.15