Merkzettel Warenkorb
  • Produktbild: Algebraic Methodology and Software Technology
  • Produktbild: Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.07.2008

Herausgeber

José Meseguer + weitere

Verlag

Springer Berlin

Seitenzahl

434

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-79979-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.07.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

434

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-79979-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: Algebraic Methodology and Software Technology
  • Produktbild: Algebraic Methodology and Software Technology
  • Marrying Words and Trees.- Simulation Using Orchestration.- Liberate Computer User from Programming.- An Algebra for Features and Feature Composition.- Petri Nets Are Dioids.- Towards an Efficient Implementation of Tree Automata Completion.- Calculating Invariants as Coreflexive Bisimulations.- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.- A Declarative Debugger for Maude.- Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.- Towards Validating a Platoon of Cristal Vehicles Using CSP||B.- Explaining Verification Conditions.- Towards Formal Verification of ToolBus Scripts.- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.- Abstract Interpretation Plugins for Type Systems.- Separation Logic Contracts for a Java-Like Language with Fork/Join.- An Algebraic Semantics for Contract-Based Software Components.- Implementing a Categorical Information System.- Constant Complements, Reversibility and Universal View Updates.- Coinductive Properties of Causal Maps.- Extending Timed Process Algebra with Discrete Stochastic Time.- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.- Evolving Specification Engineering.- Verification of Java Programs with Generics.- Domain Axioms for a Family of Near-Semirings.- Generating Specialized Rules and Programs for Demand-Driven Analysis.- Non Expansive ?-Bisimulations.- A Hybrid Approach for Safe Memory Management in C.- Service Specification and Matchmaking Using Description Logic.- System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries.- The Verification of the On-Chip COMA Cache Coherence Protocol.