Nick, Kurt und Dale erleben ihre tägliche Plackerei inzwischen als derart unerträglich, dass es f...

Alles beginnt damit, dass der Dunphy-Clan ein Abenteuer in New York zum Abschluss bringt. Nach Ha...

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society s...

1 In a number of recent presentations ¿ most notably at FME¿96 ¿oneofthe foremost scientists in t...

Theories, Implementations, and Transformations.- Incremental Proof of the Producer Consumer Prope...

Alloy: A Logical Modelling Language.- An Outline Pattern Language for Z: Five Illustrations and T...

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying The...

This book constitutes the refereed proceedings of the First International Conference of B and Z U...

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 32...

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held ...

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, Z...

This volume contains a record of some of the lectures and seminars delivered at the Second Intern...