Vor Ort
Merkzettel Warenkorb
Produktbild: Perspectives of System Informatics
Band 9609

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.2016

Abbildungen

X, 90 illus., schwarz-weiss Illustrationen

Herausgeber

Manuel Mazzara + weitere

Verlag

Springer

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

5329 g

Auflage

1st edition 2016

Sprache

Englisch

ISBN

978-3-319-41578-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.2016

Abbildungen

X, 90 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

5329 g

Auflage

1st edition 2016

Sprache

Englisch

ISBN

978-3-319-41578-9

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: Perspectives of System Informatics

  • Quantitative Analysis of Collective Adaptive Systems.- What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms.- Applying MDA to Generate Hadoop Based Scientific Computing Applications.- Site-Level Web Template Extraction based on DOM Analysis.- Verification Support for a State-Transition-DSL Defined with Xtext.- Towards using exact real arithmetic for initial value problems.- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data.- Behavioural Analysis of Sessions using the Calculus of Structures.- Using Refinement in Formal Development of OS Security Model.- onflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population.- Maximally-Polyvariant Partial Evaluation in Polynomial Time.- Dynamics Security Policies and Process Opacity for Timed Process Algebras.- Estimating Development E_ort for Software Architectural Tactics.- Clone Detection in Reuse of Software Technical Documentation.- Modeling Actor Systems Using Dynamic I/O Automata.- RSSA: A Reversible SSA Form.- Checking Several Requirements at once by CEGAR.- Unifying Requirements and Code: an Example.- Program Scheme Technique to Solve Propositional Program Logics Revised.- Automated Two-Phase Composition of Timed Web Services.- Equivalence of Finite-Valued Symbolic Finite Transducers.- Relaxed Parsing of Regular Approximations of String-Embedded Languages.- Branching Processes of Timed Petri Nets.- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.