Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Model Checking Software

Buy
Model Checking Software, 9783540213147 (3540213147), Springer, 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.

The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

(HTML tags aren't allowed.)

Practical Unix & Internet Security, Second Edition
Practical Unix & Internet Security, Second Edition
This book is a practical guide to UNIX security. For users, we explain what computer security is, describe some of the dangers that you may face, and tell you how to keep your data safe and sound. For administrators, we explain in greater detail how UNIX security mechanisms work and tell how to configure and administer your computer for maximum...
Applications of Mathematics in Models, Artificial Neural Networks and Arts: Mathematics and Society
Applications of Mathematics in Models, Artificial Neural Networks and Arts: Mathematics and Society

The book shows a very original organization addressing in a non traditional way, but with a systematic approach, to who has an interest in using mathematics in the social sciences.

The book is divided in four parts: (a) a historical part, written by Vittorio Capecchi which helps us understand the changes in the relationship between...

Secrets of Corel Painter Experts: Tips, Techniques, and Insights for Users of All Abilities
Secrets of Corel Painter Experts: Tips, Techniques, and Insights for Users of All Abilities

Step inside the studios of some of today's top artists, illustrators, designers, and photographers working with digital art tools. Secrets of Corel Painter Experts: Tips, Techniques, and Insights for Users of All Abilities allows you one-on-one access to the creative and technical process of professional artists who use Painter in...


WAN Survival Guide: Strategies for VPNs and Multiservice Networks
WAN Survival Guide: Strategies for VPNs and Multiservice Networks
Ensure that your WAN can handle the latest technologies with this must-have strategy guide

If a Wide Area Network (WAN) isn't set up properly, it won't be able to meet the needs of the applications being used in the Local Area Network (LAN). And with the emergence of new technologies such as VPNs, multi-service networks, and
...
Reversing: Secrets of Reverse Engineering
Reversing: Secrets of Reverse Engineering

Sometimes, the best way to advance is in reverse

If you want to know how something works, you take it apart very carefully. That's exactly what this book shows you—how to deconstruct software in a way that reveals design and implementation details, sometimes even source code. Why? Because reversing reveals weak spots, so...

Nmap Network Scanning: The Official Nmap Project Guide to Network Discovery and Security Scanning
Nmap Network Scanning: The Official Nmap Project Guide to Network Discovery and Security Scanning

Nmap Network Scanning is the official guide to the Nmap Security Scanner, a free and open source utility used by millions of people for network discovery, administration, and security auditing. From explaining port scanning basics for novices to detailing low-level packet crafting methods used by advanced hackers, this book by Nmap's...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy