skip to main content

Idioma:

Specifying cash-point with DisCo : The cash-point (ATM) 'problem'

AALTONEN, Timo ; KELLOMÄKI, Pertti ; PITKÄNEN, Risto

Formal aspects of computing, 2000, Vol.12 (4), p.231-232 [Revista revisada por pares]

London: Springer

Texto completo disponible

Citas Citado por

Acciones

Título:
Specifying cash-point with DisCo : The cash-point (ATM) 'problem'
Autor: AALTONEN, Timo ; KELLOMÄKI, Pertti ; PITKÄNEN, Risto
Materias: Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Software ; Software engineering
Es parte de: Formal aspects of computing, 2000, Vol.12 (4), p.231-232
Editor: London: Springer
Idioma: Inglés

Enlaces

View record in Pascal Francis

Volver a la lista de resultados

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora