A Meta-calculus for Formal System Development

A Meta-calculus for Formal System Development
Author :
Publisher :
Total Pages : 206
Release :
ISBN-10 : PSU:000025565713
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis A Meta-calculus for Formal System Development by : Matthias Weber

Download or read book A Meta-calculus for Formal System Development written by Matthias Weber and published by . This book was released on 1991 with total page 206 pages. Available in PDF, EPUB and Kindle. Book excerpt:


A Meta-calculus for Formal System Development Related Books

A Meta-calculus for Formal System Development
Language: en
Pages: 206
Authors: Matthias Weber
Categories: Automatic theorem proving
Type: BOOK - Published: 1991 - Publisher:

GET EBOOK

The Generic Development Language Deva
Language: en
Pages: 266
Authors: Matthias Weber
Categories: Computers
Type: BOOK - Published: 1993-10-28 - Publisher: Springer Science & Business Media

GET EBOOK

This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It prov
Programming Concepts, Methods and Calculi
Language: en
Pages: 612
Authors: E.-R. Olderog
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: Elsevier Publishing Company

GET EBOOK

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)
mural: A Formal Development Support System
Language: en
Pages: 426
Authors: C.B. Jones
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consumi