Handlettering digital

Sehen Sie in diesem Buch, wie cool es ist, anal...

Critical Systems: Formal Methods and Automated Verification

This book constitutes the refereed proceedings ...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings ...

Refinement Techniques in Software Engineering

This tutorial book presents an augmented select...

Handlettering digital

Sehen Sie in diesem Buch, wie cool es ist, anal...

Theoretical Aspects of Computing

Theoretical Aspects of Computing - ICTAC 2006

This book constitutes the refereed proceedings ...

FM 2009: Formal Methods

This book presents the refereed proceedings of ...

Testing Techniques in Software Engineering

The Pernambuco School on Software Engineering (...

Software Engineering for Robotics

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

Temas de Direito Tributário - Volume 2

Gilberto Ulhôa CantoPresidente da Associação Br...

Ambulatório de Clínica Médica

Esta obra reflete a experiência clínica do Serv...