Zoekresultaten
Resultaat 1 - 4 (van 4)
B.P.F. Jacobs Automata and behaviours in categories of processes
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
B.P.F. Jacobs Behaviour-refinement of object-oriented specifications with coinductive correctness proofs
Non-fictie
Engels | 19 pagina's | Catholic University of Nijmegen, Nijmegen | 1996
Gedrukt boek
B.P.F. Jacobs Coalgebraic specifications and models of deterministic hybrid systems
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
B.P.F. Jacobs Hybrid systems of coalgebras plus monoid actions
Non-fictie
Engels | 48 pagina's | Catholic University of Nijmegen, Nijmegen | 1996
Gedrukt boek