Dynamic logic
| ISBN | 9788120331716 |
|---|---|
| Publisher | Prentice Hall of India, 2000 |
| Type | Book |
| Subject | Foundations of computing Formal methods (Computer science)Computer logic |
Reviews
Log in to leave a review.
No reviews yet. Be the first.
| ISBN | 9788120331716 |
|---|---|
| Publisher | Prentice Hall of India, 2000 |
| Type | Book |
| Subject | Foundations of computing Formal methods (Computer science)Computer logic |
Log in to leave a review.
No reviews yet. Be the first.