Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Modern Formal Methods And ApplicationsISBN13:9781402042225ISBN10:1402042221Author:Gabbar, Hossam A. (Editor)Description: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 Binding:Hardcover, HardcoverPublisher:SpringerPublication Date:2006-02-01Weight:1.25 lbsDimensions:0.6'' H x 9.5'' L x 6.2'' WNumber of Pages:197Language:English
Price: 114.54 USD
Location: USA
End Time: 2024-11-11T19:51:59.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Modern Formal Methods And Applications
Item Length: 9.3in
Item Width: 6.1in
Author: Hossam A. Gabbar
Publication Name: Modern Formal Methods and Applications
Format: Hardcover
Language: English
Publisher: Springer Netherlands
Publication Year: 2005
Type: Textbook
Item Weight: 17.4 Oz
Number of Pages: Xxiii, 197 Pages
