Formal Models of Communicating Systems - Springer Germany 2006 Subscription to database on August 2010 ISBN: 978-3-540-26226-8 Subjects--Topical Terms: Computer Science LC Class. No.: كتب إلكترونية