Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

mural: A Formal Development Support System

mural: A Formal Development Support System

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540196518
Condition
New
Product Description

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 Manchester University and Rutherford Appleton Laboratories) 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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Image Analysis and Recognition

$99.99

Ptolemy in Perspective

$219.99

Digitalen Wandel gestalten

$39.99

Practical Bootstrap

$79.99

Fracture and Complexity

$149.00

COMPSTAT

$109.99

Intertemporal Production Frontiers: With Dynamic DEA

$169.99

Literacy in School and Society

$169.99

Teaching and Learning About Whole Numbers in Primary School

$19.99

Progress in Anti-Cancer Chemotherapy

$54.99

Diseases of the Oral Mucosa

$139.99

Disinformation in Open Online Media

$49.99

Knowledge and Explanation in History

$19.99

Silver Meadows Summer

$6.71

Management of Post-Stroke Complications

$79.99

Learning to Classify Text Using Support Vector Machines

$109.99

Einfhrung in die Mechanik mit einfachen Beispielen aus der Flugtechnik

$79.99

Software Technologies

$84.99

Kontrolle von Beteiligungen als Aufgabe des Controllings

$79.99

Practical Handbook for Small-Gauge Vitrectomy

$129.99

Copyright and Popular Media

$39.99

Production, Presentation, and Acceleration of Educational Research: Could Less be More?

$109.00

The Plays of W. B. Yeats

$34.99

Interaktive Grobildschirme im ffentlichen Raum

$69.99

Epigenetics and Cancer

$169.99

Nutrition for Healthy Hair

$159.99

New Difference Schemes for Partial Differential Equations

$129.00

Contemporary Film Music

$129.00

Documentary Films in India

$39.99

Cultural Due Diligence in Hospitality Ventures

$84.99

Der mathematische Werkzeugkasten

$29.99

Reality and Measurement in Algebraic Quantum Theory

$199.99

Leben und Lernen sind weit auseinander!

$59.99

Geographic Medicine for the Practitioner

$109.99

Digitale Regelung von Asynchronmotoren fr numerisch gesteuerte Fertigungseinrichtungen

$84.99

Schlerkunde auf Grund von Versuchen

$59.99

Biochemische Genetik

$44.99

Vom Wesen der deutschen Universitt

$84.99

GI Surgery Annual

$109.99

Introduction to Vertex Operator Algebras and Their Representations

$129.99