"The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)"



D. Bjorner and C.B. Jones, "The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)"
ISBN: 3540087664 | edition 1978 | File type: PDF | 398 pages | 14,97 mb

The purpose of this volume is to provide a summary of a body of work which has reached a relativeiy stable state. The work is, however, far from complete (in the sense - even - that the authors whose work is presented here feel that they have satisfactory solutions to the problems they set out to solve.) Notwithstanding their own recognition of difficulties and shortcomings in the current presentation, the authors hope that what has been achieved may be of use to others. Furthermore, a summary of the results of any significant effort may be hoped to stimulate the work of researchworkers.
The purpose of this introduction is, of course, to introduce the volume. Firstly an outline is provided of the so-called "Vienna Development Method" and some motivation offered of the meta-language which is the part of the method of concern in this volume. Following this a review is provided of other work done in the Vienna Laboratory, in order to put what is presented here in context.

Download links:

http://www.filesonic.com/file/144083311/3540087664.pdf

http://depositfiles.com/files/cjczeatnj

[Fast Download] "The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)"


Ebooks related to ""The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)"" :
Spatio-Temporal Recommendation in Social Media
iPad: The Missing Manual
Parametric Modeling with SOLIDWORKS 2015
iPod: The Missing Manual
iPod: The Missing Manual
Teaching with iPad How-to
Introduction to Data Communications
Projects in Computing and Information Systems
Visual Basic.NET by Example
It Inventory and Resource Management with Ocs Inventory Ng 1.02
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.