We found 6 results
indigoBooksluke ong

Sort By:

Sorted By: Top Matches
Filtered By:
Books
1 - 6 of 6 Results
Top Matches
Formal Methods And Software Engineering: 19th International Conference On Formal Engineering…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of…
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays…

In stock online

Not available in stores

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30,…
Logic, Language, Information, and Computation: 19th International Workshop, WoLLIC 2012, Buenos…

In stock online

Not available in stores

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in…
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and…
Foundations of Software Science and Computational Structures: 13th International Conference…

In stock online

Not available in stores

and proceedings.
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL…

In stock online

Not available in stores

TheAnnualConferenceoftheEuropeanAssociationforComputerScienceLogic (EACSL), CSL 2005, was held at the University of Oxford on 22-25 August 2005. The conference series started as a programme of International Workshops…