Source Code Analytics With Roslyn and JavaScript Data Visualization
EAN: 9781484219249
GameMaker: Studio 100 Programming Challenges
Push your GameMaker programming skills to the edge with 100 programming challenges using the...
EAN: 9781484226438
Verification, Model Checking, and Abstract Interpretation
VMCAI provides topics including: program verification, model checking, abstract interpretation...
EAN: 9783319522333
Unifying Theories of Programming
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying...
EAN: 9783319522272
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods,...
EAN: 9783319498140
Deductive Software Verification – The KeY Book
Static analysis of software with deductive methods is a highly dynamic field of research on the...
EAN: 9783319498119
CoreOS in Action
KEY FEATURES • User friendly book • Offers solid and practical information • Plenty of...
EAN: 9781617293740
Practical Propensity Score Methods Using R
This practical book uses a step-by-step analysis of realistic examples to help students...
EAN: 9781452288888