Zoekresultaten
Resultaat 1 - 9 (van 9)
J.A. Bergstra Put and get, primitives for synchronous unreliable message passing
Engels | 14 pagina's | University of Utrecht , Department of Philosophy, Utrecht | 1985
Gedrukt boek
J.A. Bergstra The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs
Engels | 14 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | Marijke Loots Platform projections, compilers, interpreters and portability
Non-fictie
Engels | 22 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.A. Bergstra | J.C. van de Pol A calculus for sequential logic with 4 values
Non-fictie
Engels | 8 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
J.A. Bergstra Platforms, specifications and decisions
Non-fictie
Engels | 62 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek
J.A. Bergstra | W.J. Fokkink | C.A. Middelburg A logic for signal inserted timed frames
Non-fictie
Engels | 18 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Johan van Benthem | J.A. Bergstra Logic of transition systems
Non-fictie
Engels | 37 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | R.N. Bol A real-time process logic
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
J.A. Bergstra | J. Heering Which data types have →ō⇋-complete initial algebra spcifications?
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek