Verified Software: Theories, Tools, Experiments

This state-of-the-art survey is an outcome of t...

Refinement Techniques in Software Engineering

This tutorial book presents an augmented select...

Verified Software: Theories, Tools, Experiments

This volume contains the proceedings of the sec...

Green Guide to Birds Of Britain And Europe

Bloomsbury Green Guides are portable handbooks ...

Green Guide to Birds Of Britain And Europe

Bloomsbury Green Guides are portable handbooks ...

Theoretical Aspects of Computing

Formal Methods and Hybrid Real-Time Systems

This Festschrift volume is published to honour ...

Theories of Programming and Formal Methods

This Festschrift volume, dedicated to He Jifeng...

Theoretical Aspects of Computing -- ICTAC 2013

This book constitutes the refereed proceedings ...

Unifying Theories of Programming and Formal Engineering Methods

This book presents 5 tutorial lectures by leadi...

Software Engineering for Robotics

The topics covered in this book range from mode...

Formal Methods and Software Engineering

This volume contains the proceedings of the 200...