Thinking About Programs
Gavin Lowe
Buy new from $77.66
|
Programming Language...
Martin Erwig
Buy new from $93.16
eBook from $83.00
|
Programming-Based Formal...
Marco T Morazán
Buy new from $60.25
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy new from $77.67
eBook from $21.00
|
Foundations of Probabilistic...
Fabrizio Riguzzi
Buy new from $130.61
eBook from $82.50
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy new from $36.60
|
R-Calculus, II: Many-Valued...
Wei Li,
Yuefei Sui
Buy new from $121.15
eBook from $47.70
|
Teaching Computational...
Marina Bers (Editor)
Buy new from $225.40
|
Complexity of Infinite-Domain...
Manuel Bodirsky
Buy new from $175.09
|
Tools and Algorithms for the...
Bernhard Steffen,
Fabrice Kordon
Buy new from $59.63
|
Circuit Design with Vhdl,...
Volnei A Pedroni
Buy new from $79.12
eBook from $39.99
|
Loopy Logic!
Kirsty Holmes
Buy new from $26.75
|
Train Your Brain with...
Emilee Hillman
Buy new from $38.16
|
Formal Languages and...
Stefano Crespi Reghizzi,
Luca Breveglieri
Buy new from $81.24
eBook from $29.70
|
Temporal Type Theory: A Topos...
Patrick Schultz,
David I Spivak
Buy new from $99.07
eBook from $35.70
|
Essential Logic for Computer...
Rex Page,
Ruben Gamboa
Buy new from $40.32
eBook from $30.99
|
Nothing Loopy about This:...
Brian P. Cleary
Buy new from $66.94
|
Logics for Computer Science:...
Anita Wasilewska
Buy new from $123.18
eBook from $41.70
|
Foundations of Probabilistic...
Fabrizio Riguzzi
Buy new from $124.42
eBook from $68.75
|
Handbook of Model Checking
Edmund M. Clarke, Jr. (Editor),
Thomas A. Henzinger (Editor)
Buy new from $137.10
eBook from $48.00
|
Semigroups in Complete...
Patrik Eklund,
Javier Gutie rrez Garci a
Buy new from $100.17
eBook from $39.00
|
An Introduction to the...
Domenico Cantone,
Pietro Ursino
Buy new from $44.60
eBook from $16.50
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy new from $121.24
eBook from $98.40
|
Provably Correct Systems
Mike Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $86.17
eBook from $44.70
|
