Introduction to Practical Formal Methods Using Temporal Logic
ID 35e55a67-4d36-4dec-9007-7a60f252e387
แสดงในภาษาต้นฉบับ
Score
No votes yet.
Sign in to vote.
ข้อมูลโดยย่อ
- ประเภท
- Book
- Open Library
- OL21464592W
- เขียนเป็นภาษา
- ไม่ทราบ
- ฉบับแปล
- ยังไม่มีคำแปล
- ไฟล์
- ยังไม่มีไฟล์
เครดิต
องค์กร
ยังไม่มี
ตัวระบุ
ในเรื่องแต่ง
ยังไม่มี