Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A case study in model checking software systems Wing, Jeannette M.
 1997
 28 2-3 p. 273-299
27 p.
 artikel
2 A high-level derivation of global search algorithms (with constraint propagation) Pepper, Peter
 1997
 28 2-3 p. 247-271
25 p.
 artikel
3 Author index of volume 28 (1997) 1997
 28 2-3 p. 301-
1 p.
 artikel
4 Categorical semantics of parallel program design Fiadeiro, JoséLuiz
 1997
 28 2-3 p. 111-138
28 p.
 artikel
5 Foreword Madey, Jan
 1997
 28 2-3 p. 91-
1 p.
 artikel
6 Internal design of modules specified in the trace assertion method Iglewski, Michal
 1997
 28 2-3 p. 139-170
32 p.
 artikel
7 Probabilistic models for the guarded command language Jifeng, He
 1997
 28 2-3 p. 171-192
22 p.
 artikel
8 Spill — A logic language for writing testable requirements specifications Kluźniak, Feliks
 1997
 28 2-3 p. 193-223
31 p.
 artikel
9 The embedded software of an electricity meter: An experience in using formal methods in an industrial project Arnold, André
 1997
 28 2-3 p. 93-110
18 p.
 artikel
10 Timed rewriting logic with an application to object-based specification Kosiuczenko, Piotr
 1997
 28 2-3 p. 225-246
22 p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland