Static Analysis: 22nd...
Sandrine Blazy (Editor),
Thomas Jensen (Editor)
Buy from $48.31
eBook from $16.50
|
Compiler Construction: 8th...
Stefan J?hnichen (Editor)
Buy from $60.65
eBook from $16.50
|
Non-Deterministic Concurrent...
Reem Bahgat
Buy from $119.58
eBook from $148.00
|
Handbook of Weighted Automata
Manfred Droste (Editor),
Werner Kuich (Editor)
Buy from $187.15
eBook from $71.70
|
C++ in Embedded Systems: A...
Amar Mahmutbegovic,
Steve Branam (Foreword by)
Buy from $42.81
eBook from $31.99
|
Verification, Model Checking,...
Bernd Finkbeiner (Editor),
Thomas Wies (Editor)
Buy from $81.51
eBook from $26.70
|
Program Logics for Certified...
Andrew W. Appel,
Robert Dockins (Contributions by)
Buy from $63.44
eBook from $93.60
|
R-Calculus, V: Description...
Wei Li,
Yuefei Sui
Buy from $145.16
eBook from $56.70
|
Software Architecture with...
Jason Chow (Tsz Shun)
Buy from $45.06
eBook from $33.99
|
Cloud Native Data Security...
Gary Archer,
Kahrer
Buy from $49.43
eBook from $50.99
|
Computer Aided Verification:...
Swarat Chaudhuri (Editor),
Azadeh Farzan (Editor)
Buy from $52.16
eBook from $16.50
|
Compiler Construction: 10th...
Reinhard Wilhelm
Buy from $60.65
eBook from $16.50
|
Compiler Construction: 9th...
David A Watt (Editor)
Buy from $39.99
eBook from $16.50
|
Value-Range Analysis of C...
Axel Simon
Buy from $121.84
eBook from $47.70
|
Learn Model Context Protocol...
Christoffer Noring,
Dan Wahlin (Foreword by)
Buy from $47.64
eBook from $35.99
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy from $42.61
eBook from $15.00
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy from $95.57
eBook from $16.50
|
