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

Managementperspektiven fr die Zivilgesellschaft des 21. Jahrhunderts

$49.99

Complexity and Geographical Economics

$109.99

Logistics and Transportation

$129.00

Asia-Pacific Nations in International Peace Support and Stability Operations

$54.99

Content gekonnt

$59.99

Shakespeare Studies Today

$39.99

Pediatric Ultrasound

$109.00

Topics in Analysis and its Applications

$169.99

Flows on 2-dimensional Manifolds

$39.99

Project Smoke - Seven Steps to Smoked Food Nirvana, Plus 100 Irresistible Recipes from Classic to Adventurous by Steven Raichlen

$24.95

Proceedings of the 2nd International Symposium on Asia Urban GeoEngineering

$129.00

Schwarze Lcher

$59.99

The Nuclear Structures of Protocaryotic Organisms (Bacteria and Cyanophyceae)

$39.99

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine

$59.99

Database Programming Languages (DBPL-4)

$54.99

Internationalization of Higher Education

$54.99

The Logic of Logistics

$59.99

Global and Regional Leadership of BRICS Countries

$54.99

Cognitive Technology: Instruments of Mind

$84.99

Introduction to Applied Mathematics

$49.99

Residue Reviews

$39.99

Ecology and Conservation of Neotropical Montane Oak Forests

$129.00

Begriff und Bedeutung des Zufalls im organischen Geschehen

$54.99

Perchlorate

$139.00

Pakistan Factor and the Competing Perspectives in India

$129.99

Qualitative Theory in Structural Mechanics

$139.00

Recent Advances in Stored Product Protection

$219.99

Digital Heritage Reconstruction Using Super-resolution and Inpainting

$54.99

Eine Entdeckungsreise in die Welt des Unendlichen

$29.99

Supply Network Management

$49.99

Computational EEG Analysis

$149.00

Large-Scale Group Decision-Making with Uncertain and Behavioral Considerations

$169.99

Planung der Fertigungstiefe

$84.99

Detective Mole

$6.71

Zwischen pragmatischer und moralischer Ordnung

$59.99

Honorary Aryans

$54.99

Solving Algebraic Computational Problems in Geodesy and Geoinformatics

$119.00

Infektise Erkrankungen der Mundhhle beim Sugling

$54.99

Den Nachthimmel erleben

$44.99

Financial Inclusion of the Marginalised

$109.99