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

Formal Methods in Systems Engineering

Formal Methods in Systems Engineering

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

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991. This was the second workshop sponsored by the Canadian and US governments to address the role of formal methods in the development of digital systems. Traditionally, formal methods have evolved in isolation from more conventional approaches, and one of the aims of this workshop was to emphasise the benefits of integrating the two areas. The workshop concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications. Among the topics covered in this volume are: what is a formal method?; social research on formal methods; current quality assurance methods and formal methods; a pragmatic approach to validation; integrating methods in practice; composition of descriptions; and topics in large program formal development. Formal Methods in Systems Engineering provides an overview of many of the major approaches to formal methods and the benefits which can result from them. It is relevant to academic and industrial researchers, industrial practitioners and government workers with an interest in certification.

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

Einfhrung in die Religionsphilosophie

$59.99

Chinese Ethnic Demography

$39.99

Magnetoelectric Response in Low-Dimensional Frustrated Spin Systems

$109.99

Congestion-Prone Services under Quality Competition

$169.99

Die Landmessung

$59.99

Adipose-Derived Stem Cells

$199.99

Handbook of Artificial Intelligence in Healthcare

$199.99

Who Needs Housing?

$14.99

Best of Scholastic Spanish Grades K-3

$80.00

Unterseeische Rohrleitungen und Meeresumweltschutz

$129.00

Suicide Among Child Sex Offenders

$49.95

Mathematical Methods for Engineers and Geoscientists

$54.99

China's Rise to Power in the Global Order

$139.99

Photochemistry and Photophysics of Coordination Compounds I

$329.99

Introduction to Infrastructure as Code

$37.99

51.53. Jahresbericht des Sonnblick-Vereines fr die Jahre 19531955

$59.99

Fuzzy Relational Mathematical Programming

$159.99

Topology of Real Algebraic Sets

$99.00

Robot Operating System (ROS) for Absolute Beginners

$54.99

Altpreussische Studien

$49.99

The Saudi Arabian Economy

$119.00

Algol-like Languages

$109.99

Statistical Learning Theory and Stochastic Optimization

$39.99

Bilder von jungen Menschen aus der Sicht lterer

$59.99

Computer Networks / Computernetze

$29.99

Artificial Intelligence in Medicine

$84.99

Art and Technology of Entertainment Computing and Communication

$109.99

Continuous Ambulatory Peritoneal Dialysis in the USA

$39.99

CO2 Free Ammonia as an Energy Carrier

$149.00

Atherosclerosis

$219.00

Strength and Structure of Solid Materials

$219.99

Secrets of the Whales by Brian Skerry

$35.00

Elektrische Maschinen

$64.99

Statistics and its Applications

$109.99

Nichtwhler in Europa, Deutschland und Nordrhein-Westfalen

$39.99

Brains, Machines, and Mathematics

$89.00

Grundzge des Marketing

$69.95

Credit Scoring, Response Modeling, and Insurance Rating

$129.99

Governing Arctic Seas: Regional Lessons from the Bering Strait and Barents Sea

$139.99

Modeling and Simulation Tools for Emerging Telecommunication Networks

$219.99