Choose the location you want to see specific content and pricing for:

Programming languages and applied logic

Results

Filter
Current filters
Clear all
Refine results
Show more
Show more

Results

Per Page 1 – 12 of 220
  • 1 – 12 of 220
Introducing String Diagrams
The Art of Category Theory
Ralf Hinze
(+1 other)
Ralf Hinze
Dan Marsden
August 2023
9781009317863
Not yet published - available from July 2023
Hardback
$49.99
Joy with Java
Fundamentals of Object Oriented Programming
Debasis Samanta
(+1 other)
Debasis Samanta
Monalisa Sarma
August 2023
9781009211901
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$99.99
Joy with Java
Fundamentals of Object Oriented Programming
Debasis Samanta
(+1 other)
Debasis Samanta
Monalisa Sarma
August 2023
9781009211918
Not yet published - available from July 2023
Paperback
$99.99
Introduction to Choreographies
Fabrizio Montesi Fabrizio Montesi
May 2023
9781108833769
Manufactured on demand: supplied direct from the printer
Hardback
$64.99
Introduction to Choreographies
Fabrizio Montesi Fabrizio Montesi
May 2023
9781108992152
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$64.99
Handbook of Constructive Mathematics
Douglas Bridges
(+3 others)
Douglas Bridges
Hajime Ishihara
Michael Rathjen
(+1 other)
May 2023
9781316510865
Manufactured on demand: supplied direct from the printer
Hardback
$195.00
Handbook of Constructive Mathematics
Douglas Bridges
(+3 others)
Douglas Bridges
Hajime Ishihara
Michael Rathjen
(+1 other)
May 2023
9781009041416
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$195.00
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others)
Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781316513460
Manufactured on demand: supplied direct from the printer
Hardback
$90.00
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others)
Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781009073783
Manufactured on demand: supplied direct from the printer
Paperback
$39.99
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others)
Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781009075572
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$39.99
Software Engineering
Basic Principles and Best Practices
Ravi Sethi Ravi Sethi
March 2023
9781316511947
In stock
Hardback
$59.99
Software Engineering
Basic Principles and Best Practices
Ravi Sethi Ravi Sethi
March 2023
9781009063388
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$59.99
Open Access
Real World OCaml: Functional Programming for the Masses
Anil Madhavapeddy
(+1 other)
Anil Madhavapeddy
Yaron Minsky
2nd Edition
January 2023
9781009125802
In stock
Paperback
$44.99
View Open Access
Open Access
Real World OCaml: Functional Programming for the Masses
Anil Madhavapeddy
(+1 other)
Anil Madhavapeddy
Yaron Minsky
2nd Edition
January 2023
9781009313582
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$44.99
Mathematical Logic through Python
Yannai A. Gonczarowski
(+1 other)
Yannai A. Gonczarowski
Noam Nisan
2nd Edition
December 2022
9781108845076
Manufactured on demand: supplied direct from the printer
Hardback
$74.99
Mathematical Logic through Python
Yannai A. Gonczarowski
(+1 other)
Yannai A. Gonczarowski
Noam Nisan
2nd Edition
December 2022
9781108949477
In stock
Paperback
$29.99
Mathematical Logic through Python
Yannai A. Gonczarowski
(+1 other)
Yannai A. Gonczarowski
Noam Nisan
2nd Edition
December 2022
9781108957694
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$29.99
Mathematical Logic and Computation
Jeremy Avigad Jeremy Avigad
2nd Edition
November 2022
9781108478755
Manufactured on demand: supplied direct from the printer
Hardback
$79.99
Mathematical Logic and Computation
Jeremy Avigad Jeremy Avigad
2nd Edition
November 2022
9781108800761
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$79.99
Programming Languages
Build, Prove, and Compare
Norman Ramsey Norman Ramsey
2nd Edition
October 2022
9781316852989
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$84.99
Programming Languages
Build, Prove, and Compare
Norman Ramsey Norman Ramsey
2nd Edition
October 2022
9781107180185
Manufactured on demand: supplied direct from the printer
Hardback
$84.99
The Dialogical Roots of Deduction
Historical, Cognitive, and Philosophical Perspectives on Reasoning
Catarina Dutilh Novaes Catarina Dutilh Novaes
2nd Edition
August 2022
9781108790925
Manufactured on demand: supplied direct from the printer
Paperback
$32.99
The Dialogical Roots of Deduction
Historical, Cognitive, and Philosophical Perspectives on Reasoning
Catarina Dutilh Novaes Catarina Dutilh Novaes
2nd Edition
August 2022
9781108847896
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$32.99
The Dialogical Roots of Deduction
Historical, Cognitive, and Philosophical Perspectives on Reasoning
Catarina Dutilh Novaes Catarina Dutilh Novaes
2nd Edition
December 2020
9781108479882
Manufactured on demand: supplied direct from the printer
Hardback
$103.00
Programming in Ada 2012 with a Preview of Ada 2022
John Barnes John Barnes
2nd Edition
May 2022
9781009190879
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$110.00
Programming in Ada 2012 with a Preview of Ada 2022
John Barnes John Barnes
2nd Edition
May 2022
9781009181341
Manufactured on demand: supplied direct from the printer
Paperback
$110.00
Per Page 1 – 12 of 220
  • 1 – 12 of 220

Thank You

You will receive email communication regarding the availability of this product