Geschäftskunden Kundenprogramme

KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Theoretical Aspects of Computing -- ICTAC 2013
Band 8049

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.07.2013

Abbildungen

XII, 445 p. 100 illus.

Herausgeber

Zhiming Liu + weitere

Verlag

Springer Berlin

Seitenzahl

445

Maße (L/B/H)

23.5/15.5/2.5 cm

Gewicht

692 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39717-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.07.2013

Abbildungen

XII, 445 p. 100 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

445

Maße (L/B/H)

23.5/15.5/2.5 cm

Gewicht

692 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39717-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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 2013
  • Stochastic Pi-calculus Revisited.- A Clock-Based Framework for Construction of Hybrid Systems.- Advances in Quantitative Verification for Ubiquitous Computing.- Mobile Membranes: Computability and Complexity.- Cruise Control in Hybrid Event-B.- From Distributions to Probabilistic Reactive Programs.- Hol-TestGen/fw: An Environment for Specification-Based Firewall Conformance Testing.- Random Walks on Some Basic Classes of Digraphs.- A Probabilistic Logic for pTiMo.- An Interface Model of Software Components.- A High-Level Semantics for Program Execution under Total Store Order Memory.- Preemptive Type Checking in Dynamically Typed Languages.- On Refinements of Boolean and Parametric Modal Transition Systems.- Proof Theory of a Multi-Lane Spatial Logic.- Counterexample-Preserving Reduction for Symbolic Model Checking.- A Transformation from p-pi to MSVL.- On Slicing of Programs with Input Statements.- Deterministic Logics for UL.- Finitary Fairness in Action Systems.- Spatio-temporal Hybrid Automata for Cyber-Physical Systems.- Embedding Functions into Disjunctive Logic Programs.- Reactive Designs of Interrupts in Circus Time.- A Proof System in PADS.- Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures.- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration.