Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Aus der Reihe Programming and Software Engineering

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.02.2009

Herausgeber

Michael Leuschel + weitere

Verlag

Springer Berlin

Seitenzahl

367

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

575 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00254-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.02.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

367

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

575 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00254-0

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: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods

  • Invited Talks.- Developing Topology Discovery in Event-B.- Decomposition Structures for Event-B.- Taming the Unbounded for Hardware Synthesis.- Contributed Papers.- Verifying UML/OCL Operation Contracts.- Property Specifications for Workflow Modelling.- Formal Verification Based on Guided Random Walks.- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B.- CSP with Hierarchical State.- Predicate Abstraction in a Program Logic Calculus.- Mechanised Translation of Control Law Diagrams into Circus.- Realizability of Choreographies Using Process Algebra Encodings.- Modelling Divergence in Relational Concurrent Refinement.- SAL-Based Symbolic Scheduling in Time-Triggered Networks.- Incremental Reasoning for Multiple Inheritance.- Model Checking LTL Formulae in RAISE with FDR.- An Introduction to Grammar Convergence.- Application of Graph Transformation in Verification of Dynamic Systems.- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.- Challenges in the Specification of Full Contracts.- Partial Order Reduction for State/Event LTL.- Dynamic Path Reduction for Software Model Checking.- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.- Decompositional Petri Net Reductions.