Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar.
Publication details: Dordrecht : Springer, 2006.Description: xxiii, 197 p. : ill., digital ; 25 cmISBN:- 9781402042232 (electronic bk.)
- 9781402042225 (paper)
- 005.131 22
- QA76.9.F67 M63 2006
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
