Merkzettel Warenkorb
  • 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

Aus der Reihe Lecture Notes in Computer Science

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

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 KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • 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.