Electronic Books

Total Books: 12/204
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

Weiterlesen
A Logical Approach to Philosophy

The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...

Weiterlesen
A Roadmap for Formal Property Verification

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

Weiterlesen
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

Weiterlesen
Adapting Proofs-as-Programs

This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...

Weiterlesen
Advances in Computer Science – ASIAN 2007. Computer and Network Security

This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...

Weiterlesen
Advances in Computer Science – ASIAN 2007. Computer and Network Security

This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...

Weiterlesen
Advances in Design and Specification Languages for SoCs

Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...

Weiterlesen
Agent Technology from a Formal Perspective

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...

Weiterlesen
Agent-Oriented Software Engineering V

The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...

Weiterlesen
Agent-Oriented Software Engineering VI

This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...

Weiterlesen
Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...

Weiterlesen
Total Books: 12/204