Ga direct naar de
inhoud
, het
zoekveld
of het
hoofdmenu
.
home
collectie
in de Bibliotheek
nu in de Bibliotheek
online cursussen
oefenen en hulp
jeugd & jongeren
word lid
Zoeken in de catalogus
Zoeken binnen de site
Zoekopdracht
Vind
A. Ponse | Fer-Jan de Vries
Strong completeness for Hoare logics of recursive processes: an infinitary approach
Gedrukt boek
Genre
Non-fictie
Taal
Engels
Meer informatie
Uitgever
Centrum voor Wiskunde en Informatica, Amsterdam
Verschenen
1989
Kenmerken
36 pagina's
Aantekening
Met lit. opg
Delpher
Bekijk in Delpher
Home
Menu
home
collectie
in de Bibliotheek
nu in de Bibliotheek
online cursussen
oefenen en hulp
jeugd & jongeren
word lid
Zoeken
Zoeken
Zoeken in de collectie
Vind
Zoeken binnen de website
Vind