opac, catalogo, online,servizi, biblioteca, sebina

Specifying message passing and time-critical systems with temporal logic

Koymans, Ron

Springer Publishing Company - 1992

  • Lo trovi in
  • Scheda
  • Unimarc
$currentBibFull

Scegli una biblioteca