Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy new from $31.48
eBook from $64.98
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy new from $60.20
eBook from $19.50
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy new from $44.06
eBook from $21.00
|
Structured Computer...
Andrew Tanenbaum,
Todd Austin
Buy new from $36.35
eBook from $64.98
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy new from $29.60
|
Symbolic Regression
Gabriel Kronberger,
Bogdan Burlacu
Buy new from $108.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 $137.66
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy new from $112.24
eBook from $98.40
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $173.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 $51.65
eBook from $16.50
|
Programming with Constraints:...
Kimbal Marriott,
Peter Stuckey
Buy new from $114.86
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $58.97
|
Programming Language...
Martin Erwig
Buy new from $86.16
eBook from $83.00
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy new from $36.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 $61.05
|
Introduction to Languages and...
John C Martin
Buy new from $94.85
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy new from $87.02
eBook from $21.00
|
Introduction to Computer...
Krishna Kant
Buy new from $89.30
|
Interactive Theorem Proving...
Yves Bertot,
G Huet (Foreword by)
Buy new from $109.24
eBook from $29.70
|
Structured Computer...
Andrew S Tanenbaum
Buy new from $60.83
|
Constraint Handling Rules
Thom Frühwirth
Buy new from $18.15
eBook from $57.60
|
