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

RWBY YA Novel #3

$9.74

Kennedy, Macmillan and the Cold War

$84.99

Intestinal Failure

$169.99

Memory Matters in Transitional Peru

$39.99

Baulogistikplanung

$17.99

The Art & Science of Learning Design

$49.99

Hartlten mit Silberloten

$84.99

Vernetzte Praxen auf dem Weg zu managed care?

$44.99

Children in Street Situations

$39.99

China Business 2.0

$54.99

Reading Karl Barth, Interrupting Moral Technique, Transforming Biomedical Ethics

$109.99

Gangliosides

$169.99

Elektrotechnik und Elektronik fr Informatiker

$74.99

Top im Job - Wie Sie leben, arbeiten und Ihr Potenzial entfalten

$19.99

Fhrung von Distributionsnetzwerken

$59.99

Blue Rider

$6.71

Nonlinear Integer Programming

$119.00

Scattering Analysis of Periodic Structures using Finite-Difference Time-Domain Method

$37.99

Cheese: Chemistry, Physics and Microbiology

$99.99

Integrative Ernhrung

$29.99

Konstruktion verfahrenstechnischer Maschinen

$59.99

Telomerases, Telomeres and Cancer

$219.99

Wetlands of the World I: Inventory, Ecology and Management

$329.99

Diagnose Multiple Sklerose

$29.99

Global Finance at Risk

$109.99

Auf den Punkt: Prsentationen pyramidal strukturieren

$39.99

The Genus Aspergillus

$219.99

Bollywood Shakespeares

$109.99

Umweltpolitik zwischen Reparatur und Vorbeugung

$59.99

Computational Methods for Optimal Design and Control

$109.99

From Classical to Modern Probability

$39.99

Invariants of Behavior

$129.00

Coups from Below

$39.99

Delegation von Preiskompetenz an den Verkaufsauendienst

$69.99

Lunar Exploration

$44.99

Betraying Our Selves

$84.99

Collaborative Innovation Mechanism of GBA in China

$99.99

Modernisierung und Folgelasten

$39.99

Grundlagenwissen fr erfolgreiche Verhandler

$29.99

Plant Conservation in the Mediterranean Area

$219.99