Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy from $39.90
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy from $50.21
eBook from $19.50
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy from $28.89
|
Larch: Languages and Tools...
S J Garland,
John V Guttag
Buy from $82.66
|
Temporal Type Theory: A Topos...
Patrick Schultz,
David I Spivak
Buy from $97.22
eBook from $35.70
|
Logics for Computer Science:...
Anita Wasilewska
Buy from $121.27
eBook from $41.70
|
Advances in Object-Oriented...
Christoph Zimmermann,
Zhixue Wu (Contributions by)
Buy from $119.39
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $84.82
|
Logical Foundations of...
Michael R Genesereth,
Nils J Nilsson
Buy from $40.01
eBook from $72.95
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy from $95.57
eBook from $98.40
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $76.28
eBook from $21.00
|
Logic for Applications
Anil Nerode,
Richard A Shore
Buy from $29.99
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy from $47.11
|
Programming-Based Formal...
Marco T Morazán
Buy from $43.47
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy from $69.77
|
Parameterized Complexity
Rodney G Downey,
M R Fellows
Buy from $93.89
eBook from $80.70
|
Introduction to Languages and...
John C Martin
Buy from $21.92
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $42.65
|
Programming Language...
Martin Erwig
Buy from $73.27
eBook from $83.00
|
Interactive Theorem Proving...
Yves Bertot,
G Huet (Foreword by)
Buy from $57.80
eBook from $29.70
|
Structured Computer...
Andrew S Tanenbaum
Buy from $9.45
|
Structured Computer...
Andrew Tanenbaum,
Todd Austin
Buy from $41.34
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy from $38.65
eBook from $21.00
|
Constraint Handling Rules
Thom Frühwirth
Buy from $8.81
eBook from $57.60
|
