Modern Formal Methods and Applications - Hossam a Gabbar - Bøker - Springer - 9789048170791 - 19. oktober 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Modern Formal Methods and Applications Softcover reprint of hardcover 1st ed. 2006 edition

Pris
NOK 1.089

Bestillingsvarer

Forventes levert 24. sep - 2. okt
Få varsel om nye utgivelser fra Hossam a Gabbar
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 19. oktober 2010
ISBN13 9789048170791
Utgivere Springer
Antall sider 197
Mål 160 × 240 × 12 mm   ·   317 g
Redaktør Gabbar, Hossam A.

Mer fra samme **utgiver**