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 …
"237" Result
Sort By:
Stochastic global optimization is a very important subject, that has applications in virtually all areas of science and technology. Therefore there is nothing more opportune than writing a book about a successful and mature algorithm that turned out to be a good tool in solving …
Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts. This book fills the gap in the field, offering a …
Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts. This book fills the gap in the field, offering a …
Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts. This book fills the gap in the field, offering a …
Production engineering and management involve a series of planning and control activities in a production system. A production system can be as small as a shop with only one machine or as big as a global operation including many manufacturing plants, distribution centers, and re…
