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

Software Engineering: Specification, Implementation, Verification

Software Engineering: Specification, Implementation, Verification

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

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides.

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

Single Product Purchase

$54.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$54.00
See Site In stock Visit Store

Similar Products

Lehrer-Erzieher-Teams an ganztgigen Grundschulen

$99.99

Europe and National Economic Transformation

$54.99

Die frontobasale Schdelhirnverletzung

$59.99

Fundamental Anatomy for Operative Orthopaedic Surgery

$54.99

Mathematics Matters in Education

$84.99

Language Learning Motivation and L2 Pragmatic Competence

$109.99

Signaling in Plants

$219.99

Sozialverhalten

$17.99

Synergy Value and Strategic Management

$54.99

Web-basierte Anwendungen Virtueller Techniken

$89.99

Employer of Choice der Generation Y

$49.99

Progress in Enzyme and Ion-Selective Electrodes

$109.99

The Land Use Policy Debate in the United States

$39.99

Sharing the Burden of Stories from the Tutsi Genocide

$54.99

Die Briefe Hlderlins

$139.99

Handbuch Brettspiele

$99.99

Was erfahrene Fhrungskrfte wissen sollten

$39.99

The Role of Halogens in Terrestrial and Extraterrestrial Geochemical Processes

$449.99

Acoustic Investigation of Complex Seabeds

$59.99

Advances in Mathematics Education Research on Proof and Proving

$139.00

Chinese Perspectives on International Relations

$109.99

2nd International Conference on Advanced Joining Processes (AJP 2021)

$199.99

Soldiers, Citizens and Civilians

$79.99

Spectral Analysis on Graph-like Spaces

$54.99

Japan and Britain in Shanghai, 1925-31

$169.99

The Roles of the United States, Russia and China in the New World Order

$74.99

Physical and Technical Problems of SOI Structures and Devices

$39.99

Introduction to Earth and Planetary System Science

$54.99

The Nature of Technological Knowledge. Are Models of Scientific Change Relevant?

$109.99

Quantitative Corporate Finance

$49.99

CONCUR 2001 - Concurrency Theory

$39.99

Landscapes of Time-Frequency Analysis

$109.99

Tracheostomy

$139.99

Winning Reputations

$54.99

Magnetresonanzbildgebung

$149.99

Rookie Reader-Level C: Messy Bessey and the Birthday Overnight

$3.71

Einfhrung in die Theorie der Differentialgleichungen im Reellen Gebiet

$44.99

Air Pollution Modeling and Its Application VII

$39.99

Soft Computing in Software Engineering

$169.99

Proceedings of the 9th International Conference on Advanced Intelligent Systems and Informatics 2023

$219.99