Constructing Correct Software - Springer Germany 2005 Subscription to database on August 2010 ISBN: 978-3-7908-1961-8 Subjects--Topical Terms: Computer Science LC Class. No.: كتب إلكترونية