university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    Process algebra for communication and mutual exclusion Tech Report

    J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

    January 1984
  • thumb

    Towards a specification of the B programming environment Tech Report

    J.A.M. van de Graaf (Jeroen)

    January 1984
  • thumb

    An implementation of the B programming language Tech Report

    L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

    January 1984
  • thumb

    Description of B Tech Report

    L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

    January 1984
  • thumb

    A user's guide to the B system Tech Report

    S. Pemberton (Steven)

    January 1984
  • thumb

    A strategy for computer integrated manufacturing systems : processing and communication Tech Report

    C.L. Blom (Kees), A. Choudry, P.J.W. ten Hagen (Paul), L.O. Hertzberger, B. Janssen, A.A.M. Kuijk (Fons), F. Tuynman and W.E. van Waning

    January 1984
  • thumb

    Computer programming for beginners : introducing the B language Tech Report

    L.J.M. Geurts (Leo)

    January 1984
  • thumb

    Trilinear alternating forms on a vector space of dimension 7 Tech Report

    A.M. Cohen (Arjeh) and A.G. Helminck

    January 1984
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close