Logics of Specification Languages

636 p.

Saved in:
Bibliographic Details
Other Authors: Bjørner, D. ; Henson, Martin C.
Format: Book
Language:English
Published: H: Springer 2017
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/25643
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English
Be the first to leave a comment!
You must be logged in first