Pastāsti draugiem par šo preci:
Modern Formal Methods and Applications Hossam a Gabbar Softcover reprint of hardcover 1st ed. 2006 edition
Modern Formal Methods and Applications
Hossam a Gabbar
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.
197 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2010. gada 19. oktobris |
| ISBN13 | 9789048170791 |
| Izdevēji | Springer |
| Lapas | 197 |
| Izmēri | 160 × 240 × 12 mm · 317 g |
| Redaktors | Gabbar, Hossam A. |