• Produktbild: Theoretical Aspects of Computing - ICTAC 2012
  • Produktbild: Theoretical Aspects of Computing - ICTAC 2012

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings

Fr. 69.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.08.2012

Abbildungen

XII, 74 illus., schwarz-weiss Illustrationen

Herausgeber

Abhik Roychoudhury + weitere

Verlag

Springer Berlin

Seitenzahl

259

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

417 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-32942-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.08.2012

Abbildungen

XII, 74 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

259

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

417 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-32942-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Theoretical Aspects of Computing - ICTAC 2012
  • Produktbild: Theoretical Aspects of Computing - ICTAC 2012
  • Symbolically Bounding the Drift in Time-Constrained MSC Graphs.- A Compositional Hierarchical Monitoring Automaton Construction for LTL.- How to Translate Efficiently Extensions of Temporal Logics

    into Alternating Automata.- Correctness of Object Oriented Models by Extended Type Inference.- Non-termination Sets of Simple Linear Loops.- Definite Expression Aliasing Analysis for Java Bytecode.- Using Semantics Specified in Maude to Generate Test Cases.- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.- Modal Process Rewrite Systems.- S-Narrowing for Constructor Systems.- Data Privacy Using MASKETEERTM .- For Industry Day A Conformance Checker Tool CSPConCheck.- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.- Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.- Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.- A Cure for Stuttering Parity Games.- Ensuring Reachability by Design.- Approximate Verification and Enumeration Problems.- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.