Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

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

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

D. Bjorner and C.B. Jones, "The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)" (Repost)
Publisher: Springer | ISBN: 3540087664 | edition 1978 | 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 FREE
"The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)" (Repost)

filesonic.com

depositfiles.com

To thank me use my links, please!
"The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)" (Repost)

My AH blog!

!!! No mirrors please !!!
IT