Formal Specification and Verification for Concurrent Systems by TELL
Download or Read eBook Formal Specification and Verification for Concurrent Systems by TELL PDF written by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) and published by . This book was released on 1984 with total page 14 pages. Available in PDF, EPUB and Kindle.
Author | : Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) |
Publisher | : |
Total Pages | : 14 |
Release | : 1984 |
ISBN-10 | : OCLC:123317445 |
ISBN-13 | : |
Rating | : 4/5 (45 Downloads) |
Book Synopsis Formal Specification and Verification for Concurrent Systems by TELL by : Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
Book excerpt: