Computer Aided Verification:...
Swarat Chaudhuri (Editor),
Azadeh Farzan (Editor)
Buy from $60.65
eBook from $16.50
|
Computer Aided Verification:...
Swarat Chaudhuri (Editor),
Azadeh Farzan (Editor)
Buy from $60.65
eBook from $16.50
|
Program Logics for Certified...
Andrew W. Appel,
Robert Dockins (Contributions by)
Buy from $81.69
eBook from $84.00
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy from $55.96
eBook from $15.00
|
Programming with Higher-Order...
Dale Miller,
Gopalan Nadathur
Buy from $51.68
eBook from $46.40
|
Grammars for Language and...
David Chiang,
Aravind K. Joshi (Foreword by)
Buy from $49.95
eBook from $29.70
|
Dynamic Binary Modification:...
Kim Hazelwood
Buy from $35.29
eBook from $7.50
|
Casl User Manual:...
Michel Bidoit,
Peter D Mosses
Buy from $54.01
eBook from $16.50
|
Refinement in Z and Object-Z:...
Eerke Boiten,
J Derrick
Buy from $66.24
eBook from $53.70
|
Compiler Construction: 10th...
Reinhard Wilhelm
Buy from $14.87
eBook from $16.50
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy from $10.99
eBook from $16.50
|
VHDL: Coding and Logic...
Weng Fook Lee
Buy from $31.69
eBook from $93.95
|
Compiler Construction: 9th...
David A Watt (Editor)
Buy from $14.95
eBook from $16.50
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy from $37.71
eBook from $16.50
|
Advanced ASIC Chip Synthesis:...
Himanshu Bhatnagar
Buy from $32.95
eBook from $16.50
|
Compiler Construction: 8th...
Stefan Jähnichen (Editor)
Buy from $27.00
eBook from $16.50
|
Program Development by...
Emil Sekerinski (Editor),
Kaisa Sere (Editor)
Buy from $52.72
eBook from $62.70
|
Non-Deterministic Concurrent...
Reem Bahgat
Buy from $21.25
eBook from $40.00
|
