Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Concise Guide to Formal Methods

Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods( )
Author: O'Regan, Gerard
Series title:Undergraduate Topics in Computer Science Ser.
ISBN:978-3-319-64020-4
Publication Date:Oct 2017
Publisher:Springer
Book Format:Paperback
List Price:AUD $98.95
Book 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,...
More Description

Book Details
Pages:322
Detailed Subjects: Computers / Computer Science
Physical Dimensions (W X L X H):15.5 x 23.5 cm
Book Weight:5.969 Kilograms



Featured Books

My Passion for Design
Streisand, Barbra
Hardback: $80.00
Master Slave Husband Wife
Woo, Ilyon
Paperback: $19.99
The Odyssey
Homer
Hardback: $17.95

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.