Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science) - Image 1

£48.61

Springer Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Name: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Brand: Springer
Price: 48.61 GBP
Availability: InStock

Introduction to Programming

This is the usual price. Wait for it to drop, or tell us your number.

£49 today · usual range £0–£0 · best ever £30

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 623 days • 623 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 623 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £46-50 (541 days, 86.8%)

Price range: £30 - £50

Price levels: 5 price ranges over 623 days

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 Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s 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 Dijkstra’s calculus of weakest preconditions, Hoare’s 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.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3319640208
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 24 August 2017
Listed Since: 22 June 2017

Barcode

No barcode data available

Springer Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Proof and System-Reliability: v. 62 (NATO Science Series II)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Clause and Effect: Prolog Programming for the Working Programmer

Logical Foundations of Artificial Intelligence

Mathematical Logic and Computation

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Logic for Mathematicians

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Logic and Structure (Universitext)

Formal Concept Analysis: Mathematical Foundations

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)