Verifying temporal properties of systems

• Main Author: Bradfield, Julian Charles (Author)
• Format: Book
• Language: English
• Published: Boston Birkhauser 1992
• Series: Progress in theoretical computer science
• Subjects: ΕΣΑ; Συστήματα
• Item Description: Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστήριο συνδυαστικων αλγορίθμων
• Physical Description: vi,113p.:fig.
• ISBN: 0 8176 3625 0