Programming languages and applied logic
See also:
Programming languages and applied logic (View all titles)
There are 169 titles in the View all titles category
Sort by:
These titles are sorted by publication date (descending)
The Semantic Web Explained
The Technology and Mathematics behind Web 3.0
- Paperback (ISBN-13: 9780521700368)
- Publication date: c.December 2013
- Subject: Knowledge management databases and data mining
- Not yet published - available from December 2013
- £29.99
Modal Logic for Philosophers
- 2nd Edition
- Paperback (ISBN-13: 9781107609525)
- Publication date: c.November 2013
- Subject: Logic
View other formats:
- Not yet published - available from November 2013
- £24.99
Lambda Calculus with Types
- Hardback (ISBN-13: 9780521766142)
- Publication date: c.July 2013
- Subject: Logic categories and sets
Series: Perspectives in Logic
- Not yet published - available from June 2013
- £40.00
Functional Programming Using F#
- Paperback (ISBN-13: 9781107684065)
- Publication date: c.July 2013
- Subject: Programming languages and applied logic
View other formats:
- Not yet published - available from June 2013
- £35.00
Systematic Program Design
From Clarity to Efficiency
- Paperback (ISBN-13: 9781107610798)
- Publication date: c.July 2013
- Subject: Programming languages and applied logic
View other formats:
- Not yet published - available from June 2013
- £24.99
Nominal Sets
Names and Symmetry in Computer Science
- Hardback (ISBN-13: 9781107017788)
- Publication date: c.June 2013
- Subject: Programming languages and applied logic
- Not yet published - available from May 2013
- £60.00
Non-Hausdorff Topology and Domain Theory
Selected Topics in Point-Set Topology
- Hardback (ISBN-13: 9781107034136)
- Publication date: March 2013
- Subject: Geometry and topology
View other formats:
Series: New Mathematical Monographs
- In stock
- £65.00
Practical Foundations for Programming Languages
- Hardback (ISBN-13: 9781107029576)
- Publication date: February 2013
- Subject: Programming languages and applied logic
View other formats:
- In stock
- £45.00
Formal Languages in Logic
A Philosophical and Cognitive Analysis
- Hardback (ISBN-13: 9781107020917)
- Publication date: November 2012
- Subject: Logic
View other formats:
- Temporarily unavailable - no date available
- £55.00
Programming with Higher-Order Logic
- Hardback (ISBN-13: 9780521879408)
- Publication date: September 2012
- Subject: Programming languages and applied logic
View other formats:
- In stock
- £40.00
