Jan F. Groote – författare
Visar alla böcker från författaren Jan F. Groote. Handla med fri frakt och snabb leverans.
4 produkter
Semantics of Specification Languages (SoSL)
Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
Av C.A. Middelburg, Jan F. Groote m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the …
Semantics of Specification Languages (SoSL)
Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
Av Derek J. Andrews, Jan F. Groote m. fl.
Häftad, 1994
567 kr
Lägg i varukorg
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the …
CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
Av Jos C.M. Baeten, Jan F. Groote
Häftad, 1991
567 kr
Lägg i varukorg
CONCUR'91 is the second international conference onconcurrency theory, organized in association with the NFIproject Transfer. It is a sequel to the CONCUR'90conference. Its basic aim is to communicate ongoing work inconcurrency theory. This proceedings volume contains 30papers selected for …
Typed Lambda Calculi and Applications
International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
Häftad, 1993
551 kr
Lägg i varukorg
The lambda calculus was developed in the 1930s by AlonzoChurch. The calculus turned out to be an interesting modelof computation and became theprototype for untypedfunctional programming languages. Operational anddenotational semantics for the calculus served as examplesfor otherprogramming …
