تفاصيل الكتاب

Internet Resource: Please Login to download book

The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems.