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
9781461300915
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

Ribbit!

$4.46

Lagrangian Optics

$84.99

Group Decision and Negotiation in the Era of Multimodal Interactions

$59.99

The Dynamics of Transculturality

$39.99

A Quest for Projects with Scarce Resources

$44.99

Applied Data-Centric Social Sciences

$54.99

Kryptogamen 1

$99.99

Fallsammlung zum Privatversicherungsrecht

$29.99

Oversexed and underfucked

$39.99

Die Professionalisierung von Coaching

$74.99

Decontamination and Decommissioning of Nuclear Facilities

$109.99

Die Renaissance der Privatbankiers

$44.99

Emerging Trends in Energy Conversion and Thermo-Fluid Systems

$249.99

Weighted Automata, Formal Power Series and Weighted Logic

$39.99

This Is My House

$3.74

Intelligent Tutoring Systems

$54.99

Hochfrequenzmesstechnik

$59.99

The Semantic Web: ESWC 2019 Satellite Events

$54.99

Modern Turkey: Continuity and Change

$59.99

Advances in Cryptology EUROCRYPT 2002

$84.99

Proceedings of the NIELIT's International Conference on Communication, Electronics and Digital Techn

$249.99

Explainable Artificial Intelligence and Process Mining Applications for Healthcare

$64.99

UV Radiation in Global Climate Change

$219.00

Track: Sunny

$5.99

Propdeutikum der Arzneiformenlehre

$64.99

Evolutionary Principles

$54.99

Burnout in Social Work Field Education

$49.99

Mit den richtigen Fragen den passenden Berufsweg finden

$24.99

Global Agendas and Education Reforms

$59.99

Metal Matrix Composites

$39.99

Problem Solving Using UCSD Pascal

$54.99

Advanced Mechanics of Solids

$54.99

Graph-Theoretic Concepts in Computer Science

$39.99

Rhyme Around the World: The Train

$5.21

Visualizations and Dashboards for Learning Analytics

$159.99

Design of Control Systems for DC Drives

$109.99

Anteilserwerbe an gemeinschaftlichen Ttigkeiten

$64.99

First Little Comics Levels A & B (Single-Copy Set)

$17.99

Gesundheitsrisiken in der Industriegesellschaft

$69.99

The Glubb Reports: Glubb Pasha and Britain's Empire Project in the Middle East 1920-1956

$39.99