-
1Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings /by Banieqbal, B. editor., Barringer, H. editor., Pnueli, A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
2Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings /by Banieqbal, B. editor., Barringer, H. editor., Pnueli, A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
3Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /... Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /...by Barstow, D. editor., Brauer, W. editor., Brinch Hansen, P. editor., Gries, D. editor., Luckham, D. editor., Moler, C. editor., Pnueli, A. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Günther, Christoph G. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
4Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /... Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /...by Barstow, D. editor., Brauer, W. editor., Brinch Hansen, P. editor., Gries, D. editor., Luckham, D. editor., Moler, C. editor., Pnueli, A. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Günther, Christoph G. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS