Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 15.06.2026 bis 17.06.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Maximaler rabattfähiger Warenkorbwert 500 € | Nicht kombinierbar mit weiteren Aktionen | Nur einmal pro Person einlösbar | Nur solange der Vorrat reicht

  • Produktbild: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2018

Abbildungen

XVI, 111 illus., schwarz-weiss Illustrationen

Herausgeber

Carlo A. Furia + weitere

Verlag

Springer

Seitenzahl

420

Maße (L/B/H)

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

Gewicht

657 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-319-98937-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2018

Abbildungen

XVI, 111 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

420

Maße (L/B/H)

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

Gewicht

657 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-319-98937-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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
  • Dynamic Symbolic Execution for Software Analysis.- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics.- Program Correctness Under Weak Memory Consistency.- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders.- Reasoning About JML: Differences Between KeY and OpenJML.- Design and Verification of Restart-robust Industrial Control Software.- Efficiently Characterizing the Undefined Requests of a Rule-Based System.- Study of Integrating Random and Symbolic Testing for Object-Oriented Software.- Making Linearizability Compositional for Partially Ordered Executions.- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.- A Precise Pictorial Language for Array Invariants.- Robotics and Integrated Formal Methods: Necessity Meets Opportunity.- Formal Modeling of Software Defined Networking.- Resource-Aware Virtually Timed Ambients.- Stateful Behavioral Types for Active Objects.- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks.- Task Planning with OMT: An Application to Production Logistics.- Branching Temporal Logic of Calls and Returns for Pushdown Systems.- Repair and Generation of Formal Models Using Synthesis.- Mode-aware Concolic Testing for PLC Software.- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.- Analysing AWN-specifications Using mCRL2.