FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Access ISBNdb extensive book database via API.
Over 43 million books & 19 data items per book to enhance your project.
Subscription plans start at $14.95/mo. Free 7-day trial.