Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy new from $41.90
|
Larch: Languages and Tools...
S J Garland,
John V Guttag
Buy new from $82.66
|
Temporal Type Theory: A Topos...
Patrick Schultz,
David I Spivak
Buy new from $97.22
eBook from $35.70
|
Finite Model Theory and Its...
Erich Grädel,
Phokion G Kolaitis
Buy new from $78.62
|
Logics for Computer Science:...
Anita Wasilewska
Buy new from $121.27
eBook from $41.70
|
Advances in Object-Oriented...
Christoph Zimmermann,
Zhixue Wu (Contributions by)
Buy new from $150.38
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $222.55
|
Logical Foundations of...
Michael R Genesereth,
Nils J Nilsson
Buy new from $87.76
eBook from $72.95
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy new from $121.24
eBook from $98.40
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy new from $76.28
eBook from $21.00
|
Introduction to Bisimulation...
Davide Sangiorgi
Buy new from $122.16
eBook from $99.20
|
Fairness
Dr. Nissim Francez
Buy new from $77.11
|
Logic for Applications
Anil Nerode,
Richard A Shore
Buy new from $36.90
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy new from $47.11
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy new from $50.21
eBook from $19.50
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy new from $36.60
|
Programming-Based Formal...
Marco T Morazán
Buy new from $59.33
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from $230.72
|
Parameterized Complexity
Rodney G Downey,
M R Fellows
Buy new from $187.38
eBook from $80.70
|
Introduction to Languages and...
John C Martin
Buy new from $119.41
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $65.97
|
Programming Language...
Martin Erwig
Buy new from $91.24
eBook from $83.00
|
Concurrency Theory: Calculi...
Howard Bowman,
Rodolfo Gomez
Buy new from $82.41
eBook from $47.70
|
Structured Computer...
Andrew Tanenbaum,
Todd Austin
Buy new from $41.34
|
