Willem Visser

Alex Burrough

Stephen Machon

Duco Oranje

Lincoln Frakes

The Netherlands Commercial Court (NCC) legislation will be taken up by the Senate Justice and Security Committee in September 2018. The NCC will be an impartial and independent English-language chamber of the ordinary Amsterdam courts, specialised in complex, international business cases. NCC proceedings will be in English, using Dutch procedure. As a result, the legal community in this jurisdiction needs an English translation of Dutch civil procedure rules. This book presents the first published English translation of selected parts of the Dutch Code of Civil Procedure. Practitioners may find invaluable guidance in this book as they advise clients on procedural matters and draft statements and briefs in civil cases. These pages present not only the new general Code rules governing electronic communications in civil practice in this jurisdiction, but also the entire NCC Rules. This book may serve as a practical guide for work in civil cases throughout the Dutch court system.

Selected Sections and the Ncc Rules

Code of Civil Procedure

POD/POS Curves for Non-Destructive Examination

Goffe Jensma

Christoph Winter

Eric Hoekstra

Alastair Walker

Wendy Vanselow

This volume contains 25 articles covering a wide array of subjects, reflecting the breadth of scholarship of one of today’s leading experts in the field of Frisian Studies. The articles, written mostly in English and German, encompass a temporal range from Old Frisian to Modern Frisian and a geographical range from West Frisian in the Netherlands to Sater and North Frisian in Germany, and include Low German. Some articles initiate new fields of enquiry, e.g. uncharted areas of dialectology, others give comprehensive reviews of certain domains, e.g. the provenance of Old Frisian law texts, while a third category focusses on specific topics ranging from phonology, grammar and etymology to aspects of Frisian literature and a medieval Frisian ballad.

A Journey along the North Sea Coast. Frisian studies in honour of Jarich Hoekstra

From West to North Frisia

The Syllable in Frisian

Klaus Havelund

John Penix

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPIN’s modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this year’s workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri?cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings.

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

SPIN Model Checking and Software Verification

Jarich Hoekstra

In this volume, Germen de Haan gives a multi-faceted view of the syntax, sociolinguistics, and phonology of West-Frisian. The author discusses distinct aspects of the syntax of verbs in Frisian: finiteness and Verb Second, embedded root phenomena, the verbal complex, verbal complementation, and complementizer agreement. Because Frisian has minority language status and is of interest to sociolinguists, the author reviews the linguistic changes in Frisian under the influence of the dominant Dutch language and, more generally, reflects on how to deal with contact-induced change in grammar. Finally, in three phonological articles, the author discusses nasalization in Frisian, the putatively symmetrical vowel inventory of Frisian, and the variation between schwa + sonorant consonants and syllabic sonorant consonants.

Selected Papers by Germen J. de Haan

Studies in West Frisian Grammar

Willem Visser

Books

Your next favorite book is out there