Dynamics of Smart Structures is a practical, concise and integrated text that provides an introduction to the fundamental principles of a field that has evolved over the recent years into an independent and identifiable subject area. Bringing together the concepts, techniques an…
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics …
