Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy new from $39.90
|
Larch: Languages and Tools...
S J Garland,
John V Guttag
Buy new from $82.19
|
Concrete Semantics: With...
Tobias Nipkow,
Gerwin Klein
Buy new from $68.48
eBook from $21.00
|
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 $120.32
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 $204.83
|
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 $106.23
|
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 $46.77
|
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 $265.20
|
Parameterized Complexity
Rodney G Downey,
M R Fellows
Buy new from $187.38
eBook from $80.70
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy new from $50.21
eBook from $19.50
|
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
|
Introduction to Computer...
Krishna Kant
Buy new from $96.30
|
