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

Business Statistics for Competitive Advantage with Excel and JMP

$89.00

Molecular Radiation Biology

$54.99

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering

$39.99

Functional Ultrastructure

$159.00

Main Economic Policy Areas of the EEC

$54.99

Knowledge Management and Acquisition for Intelligent Systems

$54.99

Formal Techniques for Safety-Critical Systems

$54.99

Differentiable Periodic Maps

$29.99

From Product Description to Cost: A Practical Approach

$169.99

Radical Pedagogy

$39.99

MiFID-Kompendium

$59.99

Distributed Denial of Service Attack and Defense

$54.99

Untersuchungen zur Darstellung eines knstlichen Dielektrikums

$54.99

VEGF Signaling

$84.99

Comparative Civil Service Systems in the 21st Century

$84.99

Modern Trends in Hypnosis

$39.99

Manipulation of Allelopathic Crops for Weed Control

$54.99

Nietzsche und die Lebenskunst

$69.99

Black Queer Ethics, Family, and Philosophical Imagination

$139.99

Emancipatory and Participatory Methodologies in Peace, Critical, and Community Psychology

$119.99

Conceptual Design

$149.00

Quantum Collisions and Confinement of Atomic and Molecular Species, and Photons

$219.99

Theoretical Chemical Engineering

$169.00

Advanced Connection Systems for Architectural Glazing

$39.99

Strukturpolitik zwischen Tradition und Innovation NRW im Wandel

$59.99

A Guide to Teaching Elementary Science

$39.99

Hidden Agenda

$17.99

Macroscopic Limits of Quantum Systems

$109.99

Technischer Fortschritt und Produktionsvollzug in der Tuchweberei

$59.99

Climate Change and Conservation of Coastal Built Heritage

$119.99

Rheinisch-Westflische Akademie der Wissenschaften

$79.99

Americans Abroad

$89.00

Convergent Leadership-Divergent Exposures

$109.99

Ergebnisse der sterreichischen Projekte des Internationalen Geologischen Korrelationsprogramms (IGC

$74.99

The NeuroMuscular System: From Earth to Space Life Science

$39.99

Digitalisierung der Lehre am Beispiel der Intralogistik

$89.99

Provable Security

$39.99

Management internationaler Finanz- und Whrungsrisiken

$44.99

Urban Simulation: Models for Public Policy Analysis

$54.99

Rare-Earth Implanted MOS Devices for Silicon Photonics

$129.99