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

Gegenrede digital

$59.99

Stuart Hall, Conjunctural Analysis and Cultural Criminology

$54.99

Halt in haltlosen Zeiten

$29.99

China and the International Criminal Court

$89.00

Economic Reforms in the Soviet Union and Eastern Europe since the 1960s

$129.00

The Israeli Third Sector

$109.99

Cartography and Art

$169.00

Structure-preserving Integrators in Nonlinear Structural Dynamics and Flexible Multibody Dynamics

$109.99

Handbuch fr Technisches Produktdesign

$179.99

Modern Dermatologic Radiation Therapy

$84.99

Beginning Digital Image Processing

$19.99

Piggy: The Cure: An AFK Book

$5.99

Nonholonomic Manipulators

$84.99

Serpins

$179.99

Nondestructive Characterization of Materials VI

$39.99

Native-Speakerism

$159.99

Theoretical Principles of Relational Biology

$119.99

Einstellungen gegenber Minoritten

$59.99

Business Process Reengineering

$39.99

Polyphenols, Wine and Health

$169.99

Klassische Inspirationen zu professioneller Gelassenheit

$19.99

Model Driven Engineering Languages and Systems

$54.99

Concepts in Hadron Physics

$39.99

Phoneme-Based Speech Segmentation using Hybrid Soft Computing Framework

$109.99

Thermal and Solutal Convection in Some Hydromagnetic Flows

$159.99

Disaster Medicine Pocket Guide: 50 Essential Questions

$44.99

Beginning REALbasic

$29.99

Molecular Pathology of Breast Cancer

$169.99

Chemoprevention of Cancer

$84.99

Pellets als Energietrger

$89.00

Cattle Welfare in Dairy and Beef Systems

$149.00

Alternative Routen in komplexen Umgebungen

$29.99

Handbook of Wind Power Systems

$169.99

RFID Security

$109.99

Hepatitis E Virus

$54.99

Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making

$109.99

Scholar Zone Extended Learning Plus ELA & Math Grade 5 (2 Scholar)

$180.00

The Modern Irish Sonnet

$59.99

Theoretical Advancement in Chromatography and Related Separation Techniques

$39.99

Modelling and Methodologies for Enterprise Integration

$169.00