Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A game-theoretic framework for specification and verification of cryptographic protocols Saleh, Mohamed
2009
22 5 p. 585-609
artikel
2 An algebraic approach to the design of compilers for object-oriented languages Duran, Adolfo
2009
22 5 p. 489-535
artikel
3 An elementary and unified approach to program correctness Bohórquez V, Jaime A.
2009
22 5 p. 611-627
artikel
4 Blaming the client: on data refinement in the presence of pointers Filipović, Ivana
2009
22 5 p. 547-583
artikel
5 Robin Milner: 13 January 1934–20 March 2010 2010
22 5 p. 485-487
artikel
6 Solutions of equations in languages Hesselink, Wim H.
2009
22 5 p. 537-545
artikel
7 Structured derivations: a unified proof style for teaching mathematics Back, Ralph-Johan
2009
22 5 p. 629-661
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland