Vista normal Vista MARC Vista ISBD

Automatic verification methods for finite state systems : International workshop, grenoble, france june 12-14 1989 : Proceedings / J. sifakis, ed. - 382 páginas - Lecture notes in computer science; 407 . - Lecture notes in computer science .

ISBN: 3540521488

Subjects--Topical Terms:
Programas para computadora--Verificación--Congresos

LC Class. No.: QA76.6 / A87