Raamatud Wolfgang Schreiner
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
-40% koodiga BOOKS
Meie tarnija laos
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
-40% koodiga BOOKS
Meie tarnija laos
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
-40% koodiga BOOKS
Meie tarnija laos
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
-40% koodiga BOOKS
Meie tarnija laos
Security and Privacy Management in Service Oriented Architectures
-40% koodiga BOOKS
Meie tarnija laos
Hagenberg Research
Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, R
-40% koodiga BOOKS
Meie tarnija laos