Thinking About Programs
Gavin Lowe
Buy from $77.66
|
Programming Language...
Martin Erwig
Buy from $74.62
eBook from $83.00
|
Programming-Based Formal...
Marco T Morazán
Buy from $43.47
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $76.28
eBook from $21.00
|
Foundations of Probabilistic...
Fabrizio Riguzzi
Buy from $130.61
eBook from $82.50
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy from $28.07
|
Tools and Algorithms for the...
Bernhard Steffen,
Fabrice Kordon
Buy from $59.63
|
Circuit Design with Vhdl,...
Volnei A Pedroni
Buy from $79.12
eBook from $39.99
|
Train Your Brain with...
Emilee Hillman
Buy from $38.16
|
Loopy Logic!
Kirsty Holmes
Buy from $26.55
|
Formal Languages and...
Stefano Crespi Reghizzi,
Luca Breveglieri
Buy from $79.85
eBook from $29.70
|
Temporal Type Theory: A Topos...
Patrick Schultz,
David I Spivak
Buy from $97.22
eBook from $35.70
|
Essential Logic for Computer...
Rex Page,
Ruben Gamboa
Buy from $31.85
eBook from $30.99
|
Nothing Loopy about This:...
Brian P. Cleary
Buy from $10.31
|
Logics for Computer Science:...
Anita Wasilewska
Buy from $121.27
eBook from $41.70
|
Foundations of Probabilistic...
Fabrizio Riguzzi
Buy from $105.11
eBook from $68.75
|
Handbook of Model Checking
Edmund M. Clarke, Jr. (Editor),
Thomas A. Henzinger (Editor)
Buy from $134.94
eBook from $48.00
|
An Introduction to the...
Domenico Cantone,
Pietro Ursino
Buy from $43.83
eBook from $16.50
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy from $96.98
eBook from $98.40
|
Provably Correct Systems
Mike Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $84.63
eBook from $44.70
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy from $50.21
eBook from $19.50
|
Claudio Moraga: A Passion for...
Rudolf Seising (Editor),
Héctor Allende-Cid (Editor)
Buy from $84.77
eBook from $29.70
|
Type Systems for Distributed...
Ornela Dardha
Buy from $77.44
eBook from $29.70
|
Incremental Software...
Michael Bell
Buy from $16.02
|
