Modern formal methods and applications / edited by Hossam A. Gabbar.

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Published:	Dordrecht : Springer, ©2006.
Subjects:	Formal methods (Computer science) Formal methods (Computer science) > Industrial applications.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.9.F67 M64 2006
QA76.9.F67 M64 2006	Available Place a Hold