Related Books

ESEC '91
Language: en
Pages: 536
Authors: Alfonso Fuggetta
Categories: Computers
Type: BOOK - Published: 1991-10-09 - Publisher: Springer Science & Business Media

GET EBOOK

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Language: en
Pages: 724
Authors: Soren Prehn
Categories: Computers
Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media

GET EBOOK

The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252)
Algebraic Methodology and Software Technology (AMAST’93)
Language: en
Pages: 429
Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathem
Advances in the Design of Symbolic Computation Systems
Language: en
Pages: 270
Authors: Alfonso Miola
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects
OOIS’96
Language: en
Pages: 513
Authors: Dilipkumar Patel
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the papers presented at the Third International Conference on Object Oriented Information Systems (00lS'96) which was held at South Bank Un