TELLI DIGIKOOPIA

Sellest väljaandest saad tasulise teenusena tellida digikoopia.
Teenuse tingimused ja maksumus on raamatukogudes erinevad.

Leiti ...

TÄIELIK KATALOOG

Kontakt
Pealkiri Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil (eds.)
Ilmunud Berlin [etc.] : Springer-Verlag, c1994
Kirjeldus XIV, 787 lk. : ill.
Püsilink https://www.ester.ee/record=b1014713~S1*est