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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Author index volume 23 (1994) 1994
23 2-3 p. 313-
1 p.
artikel
2 Composition of assumption-commitment specifications in a UNITY style Collette, Pierre
1994
23 2-3 p. 107-125
19 p.
artikel
3 Foreword Gaudel, Marie-Claude
1994
23 2-3 p. 105-
1 p.
artikel
4 Gate splitting in LOTOS specifications using abstract interpretation Giannotti, Fosca
1994
23 2-3 p. 127-149
23 p.
artikel
5 Label algebras and exception handling Bernot, Gilles
1994
23 2-3 p. 227-286
60 p.
artikel
6 Model checking using net unfoldings Esparza, Javier
1994
23 2-3 p. 151-195
45 p.
artikel
7 Principal type schemes for functional programs with overloading and subtyping Smith, Geoffrey S.
1994
23 2-3 p. 197-226
30 p.
artikel
8 Substitution: A formal methods case study using monads and transformations Bellegarde, Françoise
1994
23 2-3 p. 287-311
25 p.
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland
Toegankelijkheidsverklaring