An Introduction to Practical Formal Methods Using Temporal Logic
Gebonden — 1e druk — ISBN: 9780470027882
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational s…
€ 113,95
Leverbaar