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 of Software Systems

Specification of Software Systems

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

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

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

Organizing for Sustainability

$59.99

Frankreich Jahrbuch 2004

$54.99

sentha - seniorengerechte Technik im huslichen Alltag

$89.00

Die Torf- und Lebermoose

$44.99

ICT for Intelligent Systems

$219.00

Introduction to Group Theory

$54.99

Job Crafting

$17.99

Framing Citizen Participation

$54.99

Time-Reversal Symmetry

$149.00

Erfolg ist eine Reise

$59.99

Optical Metamaterials

$199.99

Vapor Liquid Two Phase Flow and Phase Change

$119.99

Zwischen Vorbild und Verdacht

$59.99

Infrastructure Redux

$109.99

Humoral Primary Immunodeficiencies

$129.99

The Aftermath of Suffrage

$44.99

Die Demokratisierung der Parteifhrerauswahl

$64.99

A Route to Chaos Using FPGAs

$54.99

Childrens Literature and Intergenerational Relationships

$139.99

Organic Solid-State Lasers

$109.99

Anthocyanins as Flower Pigments

$54.99

Ran an den Computer?

$59.99

Butterfly Conservation in South-Eastern Australia: Progress and Prospects

$129.00

Multivariate Data Analysis on Matrix Manifolds

$59.99

Grundriss der Physik nach dem neuesten Stande der Wissenschaft

$69.99

Positioning Higher Education Institutions

$39.99

Contents and Effects of Contracts-Lessons to Learn From The Common European Sales Law

$109.99

New Perspectives on Thomas Hardy

$109.99

Next-Generation Wireless Technologies

$84.99

Health Care in Contexts of Risk, Uncertainty, and Hybridity

$159.99

Up-to-Date Waste-to-Energy Approach

$39.99

Emotional Cognitive Neural Algorithms with Engineering Applications

$169.99

Arbeitsleistung und Arbeitsentlohnung

$64.99

Key Statistical Concepts in Clinical Trials for Pharma

$54.99

Effects of Nicotine on Biological Systems II

$39.99

Discounted Cashflow-Verfahren und der Einfluss von Steuern

$74.99

Geschlechterpolitik im Prozess der europischen Integration

$59.99

Weltwechselrecht

$59.99

Obesity in the 21st Century

$37.99

New Advances in Virtual Humans

$129.00