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: Søren Prehn
Categories: Computer science
Type: BOOK - Published: 1991 - 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 25
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