This volume presents the proceedings of the Second International Symposium of Formal Methods Euro...

Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines...

This book contains the eight invited papers presented at the workshop on Formal Aspects of Measur...

Refinement is the term used to describe systematic and formal methods of specifying hard- and sof...

The Irish in Britain - From the Earliest Times to the Fall and Death of Parnell. Second Edition i...

The book presents the life and works of one of Germany's most famous computer scientists, Carl Ad...

GENTIL stands for: God Everyday Nice Things In Life. It is a collection of observations, incident...

This book is part of the TREDITION CLASSICS. It contains classical literature works from over two...

This guide, first published in 1936, focuses on the play that follows the most popular 'three mov...

'The Life Story of an Old Rebel' by John Denvir is a captivating memoir that delves into the genr...

The book presents the life and works of one of Germany's most famous computer scientists, Carl Ad...

This book (hardcover) is part of the TREDITION CLASSICS. It contains classical literature works f...