This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Foundations of Cryptography: Volume 1, Basic Tools (Vol 1)
Cryptography is concerned with the conceptualization, definition and construction of computing systems that address security concerns. This book presents a rigorous and systematic treatment of the foundational issues: defining cryptographic tasks and solving new cryptographic problems using existing tools. It focuses on the basic mathematical...
Scala in Action: Covers Scala 2.10
Scala in Action is a comprehensive tutorial that introduces Scala through clear explanations and numerous hands-on examples. Because Scala is a rich and deep language, it can be daunting to absorb all the new concepts at once. This book takes a "how-to" approach, explaining language...
With this book, you can improve your Metasploit skills and learn to put your network’s defenses to the ultimate test. The step-by-step approach teaches you the techniques and languages needed to become an expert.
Develops Real World Approaches to Penetration testing using Metasploit...
Medical Immunology, Fifth Edition
In 1986, Marcel Dekker, Inc., published the first edition of Introduction to Medical Immunology. It is remarkable that in 2001 the same publisher continues to enthusiastically back the publication of the fifth edition, now with the shorter title of Medical Immunology. This is a book that goes against the grain. Notes in the margins, boxes...