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

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

$59.99
See Site In stock Visit Store

Similar Products

Gynecologic Endocrinology

$74.99

Epidermal Cells

$219.99

Inductive Biases in Machine Learning for Robotics and Control

$99.00

Biochemistry of Signal Transduction in Myocardium

$329.99

Genomics of Plant Genetic Resources

$219.99

New Trends in Medical and Service Robotics

$279.99

Interkulturelle Kommunikation

$64.99

Sovereignty Games

$84.99

Inspired by Nature

$109.99

Schwarzfhrenwlder in Krnten

$59.99

kosystemforschung: Der Rhein und seine Auen

$89.99

Ecological Effects of In Situ Sediment Contaminants

$74.99

Chinas Economy: Towards 2049

$129.99

Organometallic Catalysts and Olefin Polymerization

$39.99

Fundamentals of Functional Analysis

$84.99

Socialization and Civil Society

$49.99

Public Diplomacy

$17.99

Women and the Energy Revolution in Asia

$54.99

The Soils of the Philippines

$129.00

Asian Nationalism in the Twentieth Century

$74.99

Photoelectric Properties and Applications of Low-Mobility Semiconductors

$39.99

Radon: A Tracer for Geological, Geophysical and Geochemical Studies

$189.00

A Visual Guide for Cleft Surgeons

$139.00

Therapie mit Sympathikomimetika

$69.99

ICT Education

$54.99

Atom and Individual in the Age of Newton

$129.00

Waldorfschule und Schlerbiographie

$69.99

The Rise of the Japanese Specialist Manufacturer

$84.99

Lie Methods in Optics II

$39.99

Werte und Metaphern in der Unternehmenskommunikation

$29.99

Scholastic Reader! Level 1: Willie's Wonderful Pet

$3.71

Religion and Civil Human Rights in Empirical Perspective

$54.99

Quantum Information Processing

$109.99

Revealing Creativity

$54.99

Ethnomathematics and its Diverse Approaches for Mathematics Education

$129.00

Photosynthesis Bibliography Volume 10/1 1979

$54.99

Compressed Sensing for Distributed Systems

$54.99

Industry 4.0 and Engineering for a Sustainable Future

$159.99

Ladle Metallurgy

$99.00

Conservation Agriculture: A Sustainable Approach for Soil Health and Food Security

$299.99