Your search returned 2 results.

Sort
Results
1.
Partial order methods in verification: DIMACS workshop July 24-26, 1996/ Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors. by
  • Peled, Doron, 1962-
  • Pratt, Vaughan R
  • Holzmann, Gerard J, 1951-
  • DIMACS (Group)
  • Workshop on Partial Order Methods in Verification (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; 29
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 006.601 P273 1997 IMPA.

2.
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.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha