Formal Methods in Computer Science (Textbooks in Mathematics) - Image 1

£73.49

CRC Press Formal Methods in Computer Science (Textbooks in Mathematics)

Name: Formal Methods in Computer Science (Textbooks in Mathematics)
Brand: CRC Press
Price: 73.49 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 33 days • 1 price levels

Days at Price

Price Analysis

Most common price: £73 (33 days, 100.0%)

Price range: £73 - £73

Price levels: 1 different prices over 33 days

Description

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets. The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation. Features * Introduces a comprehensive, yet manageable set of formal techniques for computer science students * Stresses real-world application value of each formal technique * Offers a good set of exercises which help students better understand the presented techniques * Also offers a prepared source code for downloading and non-commercial use

Product Specifications

Brand: CRC Press
Format: Paperback
ASIN: 1498775322
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 02 July 2019
Listed Since: 04 January 2019

Barcode

No barcode data available

CRC Press Formal Methods in Computer Science (Textbooks in Mathematics)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods in Computer Science (Textbooks in Mathematics)

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

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Formal Methods in Manufacturing (Industrial Information Technology)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Logic and Language Models for Computer Science: Third Edition

Springer - Formal Methods and Models for System Design Book

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Formal Languages and Computation: Models and Their Applications

Formal Languages and Compilation (Texts in Computer Science)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer - Petri Nets: Theoretical Models and Analysis Methods

Logic in Computer Science: Modelling and Reasoning about Systems

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Formal Methods: State of the Art and New Directions

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

An Introduction to Practical Formal Methods Using Temporal Logic

Mathematical Foundations of Computer Science

Mathematical Logic for Computer Science

Language Computability and Formal Language Theory

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)