Practical Formal Methods Using Temporal Logic
Publisher: John Wiley & Sons Inc
Published: July 8, 2008
Language: eng
Format: Hardcover
Number of pages: 350
ISBN-13: 9780470027882
Subjects: Electronics & Communications Engineering; General Theory of Computing; Electronics - General; Technology & Engineering; Science/Mathematics