Formal methods in computer science. (2019)

• Record Type: Book
• Further Information: Note: Jiacun Wang, William Tepfenhart.
• Authors: Wang, Jiacun, 1963-; Tepfenhart, William M
• Contents: Part 1: Fundamentals; Chapter 1: Set Theory and Functions; Chapter 2: Finite-state Machine; Chapter 3: Regular Expression and Formal Languages; Part 2: Specify Software System Properties with Logic; Chapter 4: Propositional Logic; Chapter 5: Predicate Logic; Chapter 6: Temporal Logic; Chapter 7: Formal Verification; Part 3: Model System Behavior with Petri Nets; Chapter 8: Petri Nets; Chapter 9: Timed Petri Nets; Chapter 10: High-level Petri Nets.
• Edition: 1st
• Publisher Details: Boca Raton : Chapman & Hall/CRC
• Publication Date: 2019
• Extent: 1 online resource, illustrations (black and white)
• Subjects: 004.0151; Formal methods (Computer science)
• Languages: English
• ISBNs: 9781498775359; 9781498775335; 9780429538452; 9780429184185
• Related ISBNs: 9780367225704; 9781498775328
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.