| DaftarIsitemplate |
| Call Number |
| 005.1 Man t |
| Title |
| The temporal logic of reactive and concurrent systems specification |
| Author |
| Manna, Zohar; |
| Publisher |
| New York : Springer-Verlag, 1992 |
| Subject |
| Electronic digital computers-programming; Logic, symbolic and mathematical |
| Location |