Results
|
61.
|
|
|
62.
|
Reliability of computer and communication networks: proceedings of a DIMACS Workshop, December 2-4, 1989/ Fred Roberts, Frank Hwang, Clyde Monma, editors. by
- DIMACS Workshop on Reliability of Computer and Communication Networks (1989 : Rutgers University)
- Roberts, Fred S
- Hwang, Frank
- Monma, Clyde L
- DIMACS (Group)
- American Mathematical Society
- Association for Computing Machinery
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 5
Publication details: Providence, R.I.: American Mathematical Society, Association for Computing Machinery, c1991
Availability: Items available for loan: Castorina (1)Call number: 004 R382 1991 IMPA.
Found in Open Library:
|
|
63.
|
The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/ Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors. by
- Workshop on the SPIN Verification System (2nd: 1996: Rutgers University)
- Grégoire, Jean-Charles, 1960-
- Holzmann, Gerard J, 1951-
- Peled, Doron, 1962-
Series: DIMACS series in discrete mathematics and theoretical computer science ; 32
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 005.276 S757 1997 IMPA.
Found in Open Library:
|