1999 - Advances in Temporal Logic [APPLIED LOGIC SERIES Volume 16] (Hardcover) ISBN-13: 9780792361497 ISBN-10: 0792361490 Genre: Computers & Technology ? |
1999 - Advances in Temporal Logic [APPLIED LOGIC SERIES Volume 16] (Hardcover) ISBN-13: 9780792361497 ISBN-10: 0792361490 Genre: Computers & Technology ? |