Transactions on Aspect...
Shmuel Katz,
Mira Mezini
Buy from $41.24
eBook from $16.50
|
Constraint Logic Programming...
R Krzysztof Apt
Buy from $4.68
eBook from $83.20
|
Model Checking Software: 13th...
Antti Valmari (Editor)
Buy from $60.65
eBook from $16.50
|
Verification, Model Checking,...
Byron Cook (Editor),
Andreas Podelski (Editor)
Buy from $40.62
eBook from $16.50
|
Program Development by...
Emil Sekerinski (Editor),
Kaisa Sere (Editor)
Buy from $124.15
eBook from $62.70
|
Generalized Quantifiers and...
Jouko V??n?nen (Editor)
Buy from $60.65
eBook from $16.50
|
Fuzzy Automata and Languages:...
John N Mordeson,
Davender S Malik
Buy from $82.00
eBook from $49.50
|
Quality of Software...
Professor Steffen Becker (Editor),
Frantisek Plasil (Editor)
Buy from $34.60
eBook from $16.50
|
Leo Esakia on Duality in...
Guram Bezhanishvili (Editor)
Buy from $101.42
eBook from $29.70
|
Logic and Its Applications:...
Mohua Banerjee (Editor),
Anil Seth (Editor)
Buy from $60.65
eBook from $16.50
|
Hardware and Software:...
Hana Chockler (Editor),
Alan J Hu (Editor)
Buy from $60.65
eBook from $16.50
|
Tests and Proofs: 10th...
Bernhard K Aichernig (Editor),
Carlo A Furia (Editor)
Buy from $60.65
eBook from $16.50
|
Instruction Sequences for...
Jan A Bergstra,
Cornelis a Middelburg
Buy from $101.42
eBook from $29.70
|
From Linear Operators to...
Martin Davis (Editor),
Edmond Schonberg (Editor)
Buy from $101.42
eBook from $29.70
|
Deep Learning with Python: A...
Nikhil Ketkar
Buy from $63.02
eBook from $24.00
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy from $60.65
eBook from $16.50
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy from $60.65
eBook from $16.50
|
Validation of Evolving...
Hana Chockler (Editor),
Daniel Kroening (Editor)
Buy from $60.65
eBook from $29.70
|
Runtime Verification: A Hands...
Christian Colombo,
Gordon J. Pace
Buy from $60.65
eBook from $16.50
|
The NCL Natural Constraint...
Jianyang Zhou
Buy from $138.46
eBook from $47.70
|
Advanced Lectures on Software...
Peter M?ller (Editor)
Buy from $60.65
eBook from $16.50
|
Hardware and Software:...
Valeria Bertacco (Editor),
Axel Legay (Editor)
Buy from $60.65
eBook from $16.50
|
Principles and Practice of...
Jimmy Lee (Editor)
Buy from $148.97
eBook from $41.70
|
