Modern Formal Methods and Applications

Name: Modern Formal Methods and Applications
Brand: Springer-Verlag New York Inc.
SKU: 9781402042225
Price: 2773 CZK
Availability: InStock

Autor: Hossam A. Gabbar

Jazyk:

Vazba: Pevná

Vydavatel: Springer-Verlag New York Inc.

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

2 773 Kč

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods...

Informace o knize

Autor

Hossam A. Gabbar

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2005

Stránek

197

EAN

9781402042225

ISBN

1402042221

Enbook ID

01416484

Vydavatel

Springer-Verlag New York Inc.

Hmotnost

567

Rozměry

155 x 235 x 15

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Modern Formal Methods and Applications

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také