Predstavenie autora Robin Milner:

Doterajšie vydané knihy od Robin Milner:

Definícia štandardného ML - Definition of Standard ML

Štandardný ML je univerzálny programovací jazyk určený na veľké projekty. Táto kniha poskytuje formálnu definíciu...

Komunikačné a mobilné systémy: Kalkulácia s číslom Pi - Communicating and Mobile Systems: The Pi...

Komunikácia je základnou a neoddeliteľnou súčasťou...