Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy new from $38.48
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy new from $50.21
eBook from $19.50
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy new from $51.06
eBook from $21.00
|
Structured Computer...
Andrew Tanenbaum,
Todd Austin
Buy new from $43.35
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy new from $36.60
|
Symbolic Regression
Gabriel Kronberger,
Bogdan Burlacu
Buy new from $115.95
eBook from $35.20
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy new from $40.69
|
Advances in Object-Oriented...
Christoph Zimmermann,
Zhixue Wu (Contributions by)
Buy new from $144.66
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy new from $121.24
eBook from $98.40
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $180.44
|
Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy new from $59.32
eBook from $47.70
|
Categories for Software...
Jose Luiz Fiadeiro
Buy new from $60.65
eBook from $16.50
|
Programming with Constraints:...
Kimbal Marriott,
Peter Stuckey
Buy new from $121.86
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $65.97
|
Programming Language...
Martin Erwig
Buy new from $93.16
eBook from $83.00
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy new from $43.88
|
Concurrency Theory: Calculi...
Howard Bowman,
Rodolfo Gomez
Buy new from $81.96
eBook from $47.70
|
Programming-Based Formal...
Marco T Morazán
Buy new from $70.05
|
Introduction to Languages and...
John C Martin
Buy new from $101.85
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy new from $94.02
eBook from $21.00
|
Introduction to Computer...
Krishna Kant
Buy new from $96.30
|
Interactive Theorem Proving...
Yves Bertot,
G Huet (Foreword by)
Buy new from $116.24
eBook from $29.70
|
Structured Computer...
Andrew S Tanenbaum
Buy new from $67.83
|
Constraint Handling Rules
Thom Frühwirth
Buy new from $7.15
eBook from $57.60
|
