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

Formal Specification

Formal Specification

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

Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.

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

Einkommen versus Konsum

$99.99

A Primer of Neuroimmunological Disease

$169.99

Running Group Visits in Your Practice

$119.99

Advances in Graphic Communication, Printing and Packaging

$219.99

Emotions of Animals and Humans

$169.99

Fundamentalanalyse versus Chartanalyse

$59.99

Ciomadul (Csomd), The Youngest Volcano in the Carpathians

$44.99

Algorithms and Models for the Web-Graph

$39.99

Auswahl der Bildungsklientel

$39.99

Theorie und Design von FRAP-Experimenten auf komplexen Geometrien

$64.99

Forecasting, Warning and Responding to Transnational Risks

$54.99

International Logistics

$139.00

Assessment and Remediation of Contaminated Sediments

$84.99

Die Werksgemeinschaft in historischer und soziologischer Beleuchtung

$59.99

Empirische Sozialforschung und gesellschaftliche Praxis

$64.99

Mathematical Modeling for Flow and Transport Through Porous Media

$169.99

Max Bense: Poetische Texte

$59.99

When Islam and Democracy Meet: Muslims in Europe and in the United States

$54.99

Adaptive Analysis of Damage and Fracture in Rock with Multiphysical Fields Coupling

$139.99

The Good Egg

$5.99

The Dawn Mission to Minor Planets 4 Vesta and 1 Ceres

$169.00

Stalinism, Maoism, and Socialism in Higher Education

$119.00

Surface Crystallographic Information Service

$99.00

America's Impact on the World

$84.99

Abbruch der ungewollten Schwangerschaft

$84.99

Conceptual Modeling for Novel Application Domains

$54.99

Modeling Semantic Web Services

$54.99

Commons unter Unsicherheit

$69.99

Trevor Winchester Swan, Volume II

$99.00

Proceedings of the Second International Conference on the Future of ASEAN (ICoFA) 2017 Volume 2

$399.00

Comparative Physiology and Evolution of Vision in Invertebrates

$109.99

Researching Risk and Uncertainty

$139.99

Reference Frames

$39.99

Challenges of Modernization and Governance in South Korea

$109.99

Englische Verfassungsgeschichte

$59.99

Enzymatic Transformation

$169.99

17th WCEAM Proceedings

$249.99

The Israeli-Palestinian Peace Movement

$39.99

Structural Proteomics

$109.00

Die Gastroskopie im Rahmen der Klinischen Magendiagnostik

$59.99