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

Concise Guide to Formal Methods

Concise Guide to Formal Methods

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

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotles syllogistic logic and the logic of the Stoics, through Booles symbolic logic, to Freges work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstras calculus of weakest preconditions, Hoares axiomatic semantics of programming languages, and the classical approachof Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$54.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
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

Aging and Neuropsychological Assessment

$169.99

Philosophie der Arithmetik

$349.99

The United States and the European Union in the 1990s

$59.99

Grundlagen Export und Internationalisierung

$39.99

The Evolution of Civil-Military Relations in South East Europe

$54.99

Praxishandbuch Brsentermingeschfte

$49.99

Recent Advances in Electrical and Electronic Engineering

$219.99

Human-Computer Interaction. Theory, Design, Development and Practice

$54.99

Homophones Grade 3 Differentiation Pack

$5.99

Vergleichende Werbung

$74.99

On the Design of Game-Playing Agents

$54.99

Krisen, Staatsstreiche und Revolutionen

$44.99

Evolution von Akzeptanz und Zweifeln

$64.99

SARS- and Other Coronaviruses

$89.00

Absolute Age Determination

$109.99

Autonomic Road Transport Support Systems

$54.99

Proteomics for Drug Discovery

$139.00

Nursing: Health Education and Improving Patient Self-Management

$39.99

The Physics of the Quark-Gluon Plasma

$54.99

Schulklassen als soziale Netzwerke

$69.99

Psycho-Politics between the World Wars

$49.99

Photochemistry

$39.99

The Innovation and Evolution of Medical Devices

$109.99

Foreign Capital, Savings and Growth

$84.99

Doing the Right Thing

$24.99

Restructuring of Food Retail Markets in Countries of the Global South

$119.99

Einfhrung in die angewandte Wirtschaftsmathematik

$29.99

Innovations in Educational Change

$109.99

Multi-Agent Based Simulation XVIII

$54.99

Advances in Management Engineering

$84.99

Surgical Treatment of Anal Incontinence

$39.99

Testing Software and Systems

$39.99

Das gruppendynamische Feld

$44.99

Geographies of Practice Transfer

$109.99

Key Concepts for Critical Infrastructure Research

$29.99

The Legacy Family

$44.99

Arthropod Relationships

$219.99

African Security in the Anthropocene

$99.99

Growth Poles of the Global Economy: Emergence, Changes and Future Perspectives

$219.99

Tectonics of Asia (Northern, Central and Eastern Asia)

$159.99