Skip to main content

CURRENTLY SOLD OUT

Modern Formal Methods and Applications by Hossam A. Gabbar (Hardcover, 2005)

About this product

About this product

Product Information

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool. Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods. This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains.

Product Identifiers

Publisher
Springer-Verlag New York Inc.
ISBN-13
9781402042225
eBay Product ID (ePID)
95484766

Product Key Features

Author
Hossam A. Gabbar
Publication Name
Modern Formal Methods and Applications
Format
Hardcover
Language
English
Subject
Engineering & Technology, Chemistry, Computer Science, Mathematics
Publication Year
2005
Type
Textbook
Number of Pages
197 Pages

Dimensions

Item Height
235mm
Item Width
155mm

Additional Product Features

Country/Region of Manufacture
United States
Editor
Hossam A. Gabbar

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)
5.0 out of 5 stars based on 6 product ratings
AU $41.62 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.34
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $124.09
Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)
AU $32.73
Trending at AU $36.66
BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays
AU $19.00
Trending at AU $22.16
It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $37.63
Ethical Practice in Applied Psychology 1st Edition by Christopher Boyle (English
AU $69.19
Trending at AU $72.57

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like