Presenting the latest technological developments in arts and culture, this volume demonstrates th...

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

RezensionFrom the reviews:'The book is an extended reflection on current applications of digital ...

InhaltsangabeModel Based Testing with Labelled Transition Systems.- Model-Based Testing of Object...

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

The last decade has witnessed a modest but sustained increase in researching and applying formal ...

1 In a number of recent presentations - most notably at FME96 -oneofthe foremost scientists in th...

The last decade has witnessed a modest but sustained increase in researching and applying formal ...

Inhaltsangabe1 It's Greek to Me: Method in the Madness?.- 2 The French Population Census for 1990...

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

InhaltsangabeFormal methods: A panacea or academic poppycock?.- An introduction to the event calc...

These proceedings record the papers presented at the second International Conference of B and Z U...