Code: 02172566

mural: A Formal Development Support System

Name: mural: A Formal Development Support System
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172566
Price: 51.55 EUR
Availability: InStock
Author: C.B. Jones
ISBN: 9783540196518

by C.B. Jones, K.D. Jones, P.A. Lindsay, R.D. Moore

Language: English
Binding: Paperback
Number of pages: 421
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991
More about this

51.55 €

RRP: 55.82 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 3
11.90 € -29 %
Buy
1980s Rock Rhythm Guitar Mastery
19.26 € -2 %
Buy
I ragazzi della via Pál
15.73 € -14 %
Buy
More Than Human
10.99 € -30 %
Buy
Writing
16.94 € -8 %
Buy
LA VIDA EN ESPAÑA EN TIEMPO DE LOS GODOS
20.17 €
Buy
Benjamin Blümchen Kritzelmalbuch - ab 2 Jahren
5.64 € -9 %
Buy
Ekonomika školy a školského zariadenia
11.90 € -23 %
Buy
Prikladanie slnka
7.05 € -36 %
Buy
The Male Bride 4
8.47 € -9 %
Buy
Introduction to Endocrinology
80.41 € -9 %
Buy
In Search of the Primitive
62.86 €
Buy
Clinical Psychology in Communities of Color – Integrating Research and Practice
85.86 € -5 %
Pre-order
AP Chemistry For Dummies
20.27 € -24 %
Buy
Official Get Rich Guide to Information Marketing: Build a Million Dollar Business Within 12 Months
16.74 € -25 %
Buy
It's Not Rocket Science: Down-to-Earth Advice on Raising Stellar Kids
14.22 € -2 %
Buy
Rudolf Lexa
10.38 € -15 %
Buy
Droit d''acces a la Justice
58.62 € -14 %
Buy
Svedectvá a spomienky
5.64 € -38 %
Buy
Greek Historia Monachorum in Aegypto
210.78 €
Buy
Death Wish/Net of Cobwebs
14.72 € -25 %
Buy
Research in Organizational Change and Development
127.44 €
Buy
OEUVRES COMPLETES DE SOREN KIERKEGAARD, TOME 011
48.22 €
Buy
Film Preservation: Competing Definitions of Value, Use, and Practice
64.27 €
Buy
Ketogenic Diet, My Spiralized Cookbook, Sugar Detox And Clean Eating Box Set: Over 100 Delicious And Healthy Recipes For Weight Loss And Fat Burning
13.61 € -6 %
Buy
Study Guide for Lucie Brock-Broido's After Raphael
11.19 € -2 %
Buy
Friendship Rose
8.06 €
Buy
Edge of Irony
104.13 €
Buy
Reno's Heyday: 1931-1991
7.36 € -22 %
Buy
Reden gegen das Sozialistengesetz: Kommentierte Ausgabe
13.81 € -7 %
Buy
Role of Experimentation in Building Future Naval Forces
62.15 €
Buy
Magical Rings in English Literature. From Anglo-Saxon Charms to Tolkien's Lord of the Rings
38.23 € -14 %
Buy
San Mateo County Coast, California
19.57 € -21 %
Buy
iWitness February: To challenge ourselves to see the hand of God at work every day in everyday life with everyday people...
8.06 € -7 %
Buy
35 DIVISION 106 Infantry Brigade Highland Light Infantry 18th Battalion (4th Glasgow)
46.21 € -2 %
Buy
Return of the Native
178.29 €
Buy
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom
153.97 € -7 %
Buy
Positioning Synthetic Biology to Meet the Challenges of the 21st Century
41.56 €
Buy
Bowl of Light
9.68 € -7 %
Buy
Kristal's Wedding: A Single Mom Overcomes Shattered Dreams
11.49 € -7 %
Buy
Avascular Necrosis (Osteonecrosis) The Silent Rare Disease
14.22 € -7 %
Buy
Die Entwicklung der Erde, ihre Lebenswesen und menschlichen Kulturen
44.39 € -11 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about mural: A Formal Development Support System

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between M anchester U niversity and R utherford A ppleton L aboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using - or who will have to use for defence contracts, etc. - formal methods.