Electronic Books

Total Books: 1 - 20 /26

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 ...

Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Agile Software Engineering

This textbook presents the crucial issues in software engineering using the agile approach to software development - one ...

Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

ECOOP 2006 - Object-Oriented Programming

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Functional Verification of Programmable Embedded Architectures

This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...

Guide to Efficient Software Design

This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control

The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...

Model Checking Software (vol. # 3639)

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments

This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...

Research and Advanced Technology for Digital Libraries : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings

This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...

Software Architecture

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...

Spatial Cognition VI. Learning, Reasoning, and Talking about Space : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...

The Arché Papers on the Mathematics of Abstraction

This volume collects together a number of important papers concerning both the method of abstraction generally and the use ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Total Books: 1 - 20 /26