DNS etc.
Petr Novotny
Petr.Novotny na antek.cz
Pátek Duben 7 09:29:55 CEST 2000
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 6 Apr 00, at 20:12, Martin `MJ' Mares wrote:
> Spravnost dokazujete vzdy vzhledem k nejake formalni specifikaci,
> ale tato specifikace je vlastne take sveho druhu program, takze muze
> byt rovnez spatne. A kdo dokaze spravnost specifikace?
RFC je axiom. :-)
-----BEGIN PGP SIGNATURE-----
Version: PGP 6.0.2 -- QDPGP 2.60
Comment: http://community.wow.net/grt/qdpgp.html
iQA/AwUBOO2AZFMwP8g7qbw/EQJW2gCg7JkJpnEpxMpQFbNUtjFXFLSdbVkAn0MA
dgnYrpH03Dp2moacoXzSyp2c
=NRUZ
-----END PGP SIGNATURE-----
--
Petr Novotny, ANTEK CS
Petr.Novotny na antek.cz
http://www.antek.cz
PGP key ID: 0x3BA9BC3F
-- Don't you know there ain't no devil there's just God when he's drunk.
[Tom Waits]
Další informace o konferenci Linux