Skip to content

Modern Formal Methods and Applications
Stock Photo: Cover May Be Different

Modern Formal Methods and Applications Hardcover - 2005

by Hossam A. Gabbar (Editor)


From the publisher

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.

Details

  • Title Modern Formal Methods and Applications
  • Author Hossam A. Gabbar (Editor)
  • Binding Hardcover
  • Edition 1st
  • Pages 197
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY
  • Date 2005-12-22
  • Illustrated Yes
  • ISBN 9781402042225 / 1402042221
  • Weight 1.25 lbs (0.57 kg)
  • Dimensions 9.5 x 6.2 x 0.6 in (24.13 x 15.75 x 1.52 cm)
  • Library of Congress subjects Formal methods (Computer science), Formal methods (Computer science) -
  • Library of Congress Catalog Number 2006482015
  • Dewey Decimal Code 005.131

About the author

The editor is a member of the following societies/associations:

SICE, IEEE-SMC, Japan Society of Chemical Engineering, Japan Society of Safety Engineers, Canadian Society of Chemical Engineering, AIChE, IEE.

He serves on the board of PSE, process systems engineering (Japan) and JSSE.

Back to Top

More Copies for Sale

Modern Formal Methods and Applications
Stock Photo: Cover May Be Different

Modern Formal Methods and Applications

by Gabbar, Hossam A. [Editor]

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£20.48
£4.84 shipping to USA

Show Details

Description:
Springer, 2005-12-22. Hardcover. Very Good. 6x0x9. Ex-Library in very nice condition with all the usual markings and attachments.
Item Price
£20.48
£4.84 shipping to USA
Modern Formal Methods and Applications
Stock Photo: Cover May Be Different

Modern Formal Methods and Applications

by Editor-Hossam A. Gabbar

  • Used
  • Hardcover
Condition
Used: Good
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£31.38
FREE shipping to USA

Show Details

Description:
Springer, 2006-02-10. Hardcover. Used: Good.
Item Price
£31.38
FREE shipping to USA
MODERN FORMAL METHODS AND APPLICATIONS
Stock Photo: Cover May Be Different

MODERN FORMAL METHODS AND APPLICATIONS

by HOSSAM A. GABBAR,

  • New
  • Hardcover
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£74.30
£8.08 shipping to USA

Show Details

Description:
kluwer, 2006. 1st. Hardcover. New/New.
Item Price
£74.30
£8.08 shipping to USA
Modern Formal Methods and Applications

Modern Formal Methods and Applications

by Hossam A. Gabbar

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
224
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£101.73
£7.99 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Modern Formal Methods and Applications.
Item Price
£101.73
£7.99 shipping to USA
Modern Formal Methods And Applications
Stock Photo: Cover May Be Different

Modern Formal Methods And Applications

  • New
Condition
New
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£95.01
£4.04 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
£95.01
£4.04 shipping to USA
Modern Formal Methods and Applications
Stock Photo: Cover May Be Different

Modern Formal Methods and Applications

  • Used
  • Hardcover
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£106.24
£3.22 shipping to USA

Show Details

Description:
Springer , pp. xxiii + 197 1st Edition . Hardback. Used.
Item Price
£106.24
£3.22 shipping to USA
Modern Formal Methods and Applications
Stock Photo: Cover May Be Different

Modern Formal Methods and Applications

by Gabbar, Hossam A. [Editor]

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
£189.79
£12.11 shipping to USA

Show Details

Description:
Springer. hardcover. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
£189.79
£12.11 shipping to USA
Modern Formal Methods And Applications
Stock Photo: Cover May Be Different

Modern Formal Methods And Applications

by Hossam A. Gabbar,

  • New
  • Hardcover
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
10
Seller
New Delhi, Andaman and Nicobar Islands, India
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£261.74
£12.11 shipping to USA

Show Details

Description:
kluwer, 2006. 1st. Hardcover. New.
Item Price
£261.74
£12.11 shipping to USA
Modern Formal Methods And Applications
Stock Photo: Cover May Be Different

Modern Formal Methods And Applications

by Hossam A. Gabbar,

  • New
  • Hardcover
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9781402042225 / 1402042221
Quantity Available
10
Seller
New Delhi, India
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
£261.74
£12.11 shipping to USA

Show Details

Description:
kluwer, 2006. 1st. Hardcover. New.
Item Price
£261.74
£12.11 shipping to USA