Wim H. Hesselink – författare

Visar alla böcker från författaren Wim H. Hesselink. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Programs, Recursion and Unbounded Choice

   Av Wim H. Hesselink, C. J. van Rijsbergen

   Häftad, 2005

   804 kr

   Lägg i varukorg

   This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of …

2. 

   Algebraic Groups. Utrecht 1986

   Proceedings of a Symposium in Honour of T.A. Springer

   Av Arjeh M. Cohen, Wim H. Hesselink m. fl.

   Häftad, 1987

   387 kr

   Lägg i varukorg

   From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Netherlands, in celebration of the 350th birthday of the University and the 60th of T.A. Springer. Recognized leaders in the field of algebraic groups and related areas gave lectures which covered wide …

3. 

   Algebraic Groups. Utrecht 1986

   Proceedings of a Symposium in Honour of T.A. Springer

   Av Jan R. Strooker, Wilberd L.J. van der Kallen m. fl.

   E-bok, 2006

   440 kr

   Lägg i varukorg

   From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Netherlands, in celebration of the 350th birthday of the University and the 60th of T.A. Springer. Recognized leaders in the field of algebraic groups and related areas gave lectures which covered wide …