Skip to main content Accessibility help
Internet Explorer 11 is being discontinued by Microsoft in August 2021. If you have difficulties viewing the site on Internet Explorer 11 we recommend using a different browser such as Microsoft Edge, Google Chrome, Apple Safari or Mozilla Firefox.

Last updated 16 July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. Alternative purchasing options are available . For further updates please visit our website: https://www.cambridge.org/news-and-insights/technical-incident

Home
> Subjects
> Programming Language Theory and Implementation, and Applied Logic
> Search results

Programming Language Theory and Implementation, and Applied Logic

Refine search

9 results in Programming Language Theory and Implementation, and Applied Logic

Can't find the content you are looking for?

To expand your search, find other books and research journals at Cambridge Core , or browse our catalogue at cambridge.org

Page 1 of 1
First
< Previous
1
Next >
Last
Look inside

Programming in Haskell

2nd edition
Graham Hutton
, University of Nottingham
Online ISBN: 9781316784099
Online publication date: 28 May 2018

Paperback ISBN: 9781316626221

Paperback publication date: 12 September 2016

View resources Request instructor examination copy
Textbook
Library eCollections

Logic in Computer Science

Modelling and Reasoning about Systems
2nd edition
Michael Huth
, Imperial College of Science, Technology and Medicine, London,
Mark Ryan
, University of Birmingham
Online ISBN: 9780511810275
Online publication date: 05 June 2012

Paperback ISBN: 9780521543101

Paperback publication date: 30 August 2004

View resources Request instructor examination copy
Textbook
Library eCollections
Look inside

Programming Languages

Build, Prove, and Compare
Norman Ramsey
, Tufts University, Massachusetts
Online ISBN: 9781316841396
Online publication date: 27 January 2023

Hardback ISBN: 9781107180185

Hardback publication date: 27 October 2022

View resources Request instructor examination copy
Textbook
Library eCollections
Look inside

Computer Programming with C++

Kunal Pimparkhede
, Vidyalankar Institute of Technology
Online ISBN: 9781316534489
Online publication date: 28 May 2018

Paperback ISBN: 9781316506806

Paperback publication date: 16 January 2017

Request instructor examination copy
Textbook
Library eCollections
Award winner
Look inside

Software Engineering

Basic Principles and Best Practices
Ravi Sethi
, University of Arizona
Online ISBN: 9781009051811
Online publication date: 09 December 2022

Hardback ISBN: 9781316511947

Hardback publication date: 09 March 2023

View resources Request instructor examination copy
Textbook
Library eCollections
Look inside

Essentials of Software Testing

Ralf Bierig
, Maynooth University, Ireland,
Stephen Brown
, Maynooth University, Ireland,
Edgar Galván
, Maynooth University, Ireland,
Joe Timoney
, Maynooth University, Ireland
Online ISBN: 9781108974073
Online publication date: 19 August 2021

Hardback ISBN: 9781108833349

Hardback publication date: 28 October 2021

View resources Request instructor examination copy
Textbook
Library eCollections

The Haskell School of Expression

Learning Functional Programming through Multimedia
Paul Hudak
, Yale University, Connecticut
Online ISBN: 9780511818073
Online publication date: 28 May 2018

Hardback ISBN: 9780521643382

Hardback publication date: 28 February 2000

Paperback ISBN: 9780521644082

Paperback publication date: 28 February 2000

Request instructor examination copy
Textbook
Library eCollections

Computability

An Introduction to Recursive Function Theory
Nigel Cutland
, University of York
Online ISBN: 9781139171496
Online publication date: 28 May 2018

Paperback ISBN: 9780521294652

Paperback publication date: 30 June 1980

Request instructor examination copy
Textbook
Library eCollections

Joy with Java

Fundamentals of Object Oriented Programming
Debasis Samanta
, Indian Institute of Technology, Kharagpur,
Monalisa Sarma
, Indian Institute of Technology, Kharagpur
Online ISBN: 9781009211895
Online publication date: 08 November 2023

Paperback ISBN: 9781009211918

Paperback publication date: 10 August 2023

Request instructor examination copy
Textbook
Library eCollections
Page 1 of 1
First
< Previous
1
Next >
Last
About Contact and help Publish with us Accessibility Legal notices
Join us online
For research journals and books visit Cambridge Core [Opens in a new window]
© Cambridge University Press 2024