KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 03.11.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods
Band 1945

Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.10.2000

Abbildungen

X, 446 p.

Herausgeber

Wolfgang Grieskamp + weitere

Verlag

Springer Berlin

Seitenzahl

446

Maße (L/B/H)

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

Gewicht

686 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41196-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.10.2000

Abbildungen

X, 446 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

446

Maße (L/B/H)

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

Gewicht

686 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41196-3

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: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods
  • Invited Talk.- Assertions.- Linking and Extending Notations.- State-Based Extension of CASL.- Linking DC Together with TRSL.- Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.- A Process Compensation Language.- Activity Graphs and Processes.- Structuring Real-Time Object-Z Specifications.- ISpec: Towards Practical and Sound Interface Specifications.- Methodology.- Cooperation of Formal Methods in an Engineering Based Software Development Process.- Developing Control Systems Components.- Specification and Analysis of Automata-Based Designs.- Structural Refinement in Object-Z / CSP.- Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.- Foundation of One Formalism by Another.- Construction of Finite Labelled Transition Systems from B Abstract Systems.- ?-Charts and Z: Hows, Whys, and Wherefores.- Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.- Invited Talk.- Why Doesn’t Anyone Use Formal Methods?.- Semantics.- How to Write a Healthiness Condition.- A Concurrent and Compositional Petri Net Semantics of Preemption.- Verification and Validation.- An Approach to Symbolic Test Generation.- Behavioral Conformance Verification in an Integrated Approach Using UML and B.- Predicate Diagrams for the Verification of Reactive Systems.- Modular Verification for a Class of PLTL Properties.- Towards Model Checking Stochastic Process Algebra.