Formal Specification and Verification for Concurrent Systems by TELL
Author | : Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) |
Publisher | : |
Total Pages | : 14 |
Release | : 1984 |
ISBN-10 | : OCLC:123317445 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Formal Specification and Verification for Concurrent Systems by TELL by : Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
Download or read book Formal Specification and Verification for Concurrent Systems by TELL 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. Book excerpt: