Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5. 1999. Bamberg, Germany)

Título Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99 Bambert, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)

Publicación Berlin [etc.] : Springer, cop. 1999
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-HRTS 32    CONSULTAR DEPT  DISPONIBLE