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

Specification and Development of Interactive Systems

Specification and Development of Interactive Systems

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

This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.

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

Verfassungsgerichtsbarkeit zwischen Recht und Politik

$59.99

Mechanismen anorganischer und metallorganischer Reaktionen

$49.99

Selected Topics in Dynamics and Control of Chemical and Biological Processes

$109.99

Test-Driven Development in Swift

$54.99

Prozessfhigkeit bei der Herstellung komplexer technischer Produkte

$79.99

Thin Film Solar Cells

$329.99

Advances in Service-Oriented and Cloud Computing

$69.99

Building a Culture of Lawfulness

$119.99

Beitrge zur Wohlfahrtskonomie

$64.99

Hochschulmathematik mit Octave verstehen und anwenden

$34.99

Unternehmenssteuerung durch den Finanzvorstand (CFO)

$74.99

Data Mining and Big Data

$99.99

Re-thinking Religious Pluralism

$54.99

Joseph Had A Little Overcoat (Hardcover)

$17.99

Male Friendship and Testimonies of Love in Shakespeares England

$84.99

Multimedia and Network Information Systems

$129.00

Mechanism of Functional Expression of F1-ATPase

$39.99

Frhe Trennungen, frhe Verluste

$19.99

Human Sperm Competition

$219.99

Weekend With Wendell, A

$6.50

Teachers' Identities and Life Choices

$109.99

Polyoxometalate Molecular Science

$219.99

Media-Related Out-of-School Contact with English in Germany and Switzerland

$49.99

Science and Practice of Pediatric Critical Care Medicine

$39.99

Contemporary Perspectives in Human Resource Management and Organizational Behavior

$169.99

Governance in Transition

$109.99

Energy-efficient building design in Southeast Europe

$39.99

Coarse-to-Fine Natural Language Processing

$109.99

Beitrag zur eindimensionalen stationren und nichtstationren Gasstrmung mit Reibung und Wrmeleitu

$59.99

Modern Methods in Analytical Acoustics

$199.99

Blastoff! Readers - Character Education: I Am Respectful

$5.21

Mechanisms of Egg Activation

$39.99

Hydrogen in Disordered and Amorphous Solids

$219.99

Advances in Intelligent Data Analysis XXII

$89.00

Betriebswirtschaftslehre

$39.99

Modeling of Transportation Aviation Processes

$69.99

Norwegian Shipping in the 20th Century

$31.00

Seafoods: Chemistry, Processing Technology and Quality

$39.99

Limits, Modeling and Design of High-Speed Permanent Magnet Machines

$129.00

Plant Biomechanics

$219.99