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 Foundations for Software Engineering Methods

Formal Foundations for Software Engineering Methods

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

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.

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

Frontiers of Cyberlearning

$179.99

Participation in Child Protection

$84.99

An Introduction to Classical Complex Analysis

$39.99

Effectiveness of Influencer Marketing

$99.99

Jagd und Biologie

$59.99

Caesarius von Arles und die Juden

$49.99

The End of Politics?

$59.99

Rethinking Rhinoplasty and Facial Surgery

$79.99

Topics in the Homology Theory of Fibre Bundles

$19.99

Control of Fuel Cell Power Systems

$179.99

Frontiers in Cyber Security

$54.99

Sedimentation Processes in the White Sea

$379.99

Multi-criteria Decision Making for Smart Grid Design and Operation

$109.00

The New Euromarkets

$54.99

Vergleichende Untersuchungen zur elastischen und bleibenden Dehnung von Fasern

$54.99

Strategisches Affinity-Group-Management

$29.99

Selected Areas in Cryptography SAC 2019

$54.99

The Future of Local Government

$14.99

The Principles of Astronomical Telescope Design

$219.99

Linear Response Theory

$49.99

Basic Biology of New Developments in Biotechnology

$109.99

Machine Learning Approaches in Financial Analytics

$199.99

Urban Renewal, Community and Participation

$129.00

Arbitragefreie Bewertung von Zinsderivaten

$49.99

Martingale in diskreter Zeit

$44.99

Lung Cancer

$119.00

Vergleichende Regierungslehre

$39.99

Extremal Problems in Interpolation Theory, Whitney-Besicovitch Coverings, and Singular Integrals

$109.99

Erfolgreich akquirieren

$44.99

Triggering of Acute Coronary Syndromes

$169.00

Wittgenstein, Language and Information: "Back to the Rough Ground!"

$169.99

Voting Unity of National Parties in Bicameral EU Decision-Making

$54.99

Netzwerkzeuge

$49.99

Grid Parity and Carbon Footprint

$54.99

Technology Assessment in a Globalized World

$59.99

Social Media Tools and Platforms in Learning Environments

$109.99

Der Presbyter Johannes in Sage und Geschichte

$59.99

Has Man a Future?

$109.99

Einfhrung in die Kategorientheorie

$29.99

The Electric Car

$89.99