Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Foundations for Software Engineering Methods

Best Price:
Buy Formal Foundations for Software Engineering Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Therapielexikon Neurologie

Therapielexikon Neurologie

$34.99
National Intellectual Capital and the Financial Crisis in Austria, Belgium, the Netherlands, and Swi

National Intellectual Capital and the Financial Crisis in Austria, Belgium, the Netherlands, and Swi

$39.99
Vektor- und Tensorrechnung fr Ingenieure

Vektor- und Tensorrechnung fr Ingenieure

$59.99
Zizek

Zizek

$54.99
National Security Exceptions in International Trade and Investment Agreements

National Security Exceptions in International Trade and Investment Agreements

$64.99
The Massachusetts General Hospital Clinical Approach to Vascular Ultrasound

The Massachusetts General Hospital Clinical Approach to Vascular Ultrasound

$89.99
Who Would Win?: Whale vs. Giant Squid

Who Would Win?: Whale vs. Giant Squid

$2.99
The Basics of Cancer Immunotherapy

The Basics of Cancer Immunotherapy

$29.99
Galactic and Extra-Galactic Radio Astronomy

Galactic and Extra-Galactic Radio Astronomy

$84.99
Habitus und Politik in Krnten

Habitus und Politik in Krnten

$59.99
Circles of Support

Circles of Support

$49.99
Identity, Violence and Power

Identity, Violence and Power

$109.99
Photonic Microsystems

Photonic Microsystems

$139.00
Economics of Wildfire Management

Economics of Wildfire Management

$54.99
Variational Formulation of Fluid and Geophysical Fluid Dynamics

Variational Formulation of Fluid and Geophysical Fluid Dynamics

$219.99
Operations Research Proceedings 1995

Operations Research Proceedings 1995

$69.99
Manufacturing Systems: Theory and Practice

Manufacturing Systems: Theory and Practice

$109.99
Conflict and Multimodal Communication

Conflict and Multimodal Communication

$84.99
Ethical Issues in Counselling and Psychotherapy Practice

Ethical Issues in Counselling and Psychotherapy Practice

$109.99
Medicinal Plants - Recent Advances in Research and Development

Medicinal Plants - Recent Advances in Research and Development

$249.99
Educating Young Giants

Educating Young Giants

$54.99
Innovation and Accountability in Teacher Education

Innovation and Accountability in Teacher Education

$169.99
Internet of Everything

Internet of Everything

$64.99
The International Political Economy of Work and Employability

The International Political Economy of Work and Employability

$54.99
Advances in Mechanical Engineering

Advances in Mechanical Engineering

$169.99
Bifurcation Analysis

Bifurcation Analysis

$109.99
Scale Problems in Hydrology

Scale Problems in Hydrology

$84.99
Fluvial Systems in the Anthropocene

Fluvial Systems in the Anthropocene

$99.00
Larvae and Evolution

Larvae and Evolution

$74.99
Graphische Kalorimetrie der Dampfmaschinen

Graphische Kalorimetrie der Dampfmaschinen

$49.99
Internet and Distributed Computing Systems

Internet and Distributed Computing Systems

$39.99
Electrochemistry of Flotation of Sulphide Minerals

Electrochemistry of Flotation of Sulphide Minerals

$84.99
Review of Progress in Quantitative Nondestructive Evaluation

Review of Progress in Quantitative Nondestructive Evaluation

$84.99
Rationalitt strategischer Entscheidungsprozesse

Rationalitt strategischer Entscheidungsprozesse

$49.99
6th International Conference on Nanotechnologies and Biomedical Engineering

6th International Conference on Nanotechnologies and Biomedical Engineering

$219.99
Statics for Students

Statics for Students

$54.99
Respiratory Control

Respiratory Control

$84.99
Frauenforschung und feministische Anstze in der Kriminologie

Frauenforschung und feministische Anstze in der Kriminologie

$44.99
Hochkalorische parenterale Ernhrung

Hochkalorische parenterale Ernhrung

$69.99
Untersuchungen zum Mechanismus der Thermooxidation und zur Stabilisierung von Nylon 6

Untersuchungen zum Mechanismus der Thermooxidation und zur Stabilisierung von Nylon 6

$44.99
previous
next