sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000124213885 | 1 hits
Person
ISNI: 
0000 0001 2421 3885
Name: 
Boiten, E.
Boiten, E. A.
Boiten, Eerke
Boiten, Eerke A.
Boiten, Eerke Albert
Dates: 
1966-
Creation class: 
cre
Language material
Manuscript language material
text
Creation role: 
author
editor
Related names: 
Derrick, John (1963-)
Geerling, A. Max (1966-)
Geerling, Arie Maximiliaan (1966-)
International conference on the mathematics of program construction 06 2002
Möller, Bernard
Möller, Bernhard (1953-...)
Möller, Bernhard (1953-)
MPC 2002 (2002 : Dagstuhl Castle)
Partsch, Helmut (1950-)
Partsch, Helmut A. (1950-)
Smith, Graeme (1966-)
University of Kent
Titles: 
Combining Component specifications in Object-Z and CSP
Factorisation of the factorial : an algorithm discovered by playing with transformations
IFM 2004
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Inverting the flow of computation
many disguises of accumulation, The
Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
MPC 2002
Nested collections and polytypism
Parsing in ISBES
Refinement in Z and Object-Z : foundations and advanced applications
Relational concurrent refinement.
Transformational derivation of (parallel) programs using skeletons
Views of formal program development
Notes: 
Sources: 
VIAF DNB LC NUKAT SUDOC
BOWKER
JNAM
NTA
TEL