Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking

von Ofer Strichman Taschenbuch Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) Details (Spanien - España) (siehe auch: Tapa blanda) EAN=ISBN-13: 978-3-8383-0082-5 ISBN-10: 3-8383-0082-3 LAP LAMBERT Academic Publishing · 2010