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 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Aus der Reihe Programming and Software Engineering

77,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.05.2016

Abbildungen

XIV, 145 illus., schwarz-weiss Illustrationen

Herausgeber

Erika Ábrahám + weitere

Verlag

Springer

Seitenzahl

538

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

8248 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-33692-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.05.2016

Abbildungen

XIV, 145 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

538

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

8248 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-33692-3

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

  • Invited Contributions.- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic Computation and Automated Reasoning for Program Analysis.- Program verification.- On Type Checking Delta-Oriented Product Lines.- Verifying a priority scheduler for an SCJ runtime environment.- Why Just Boogie? Translating Between Intermediate Verification Languages.- Probabilistic systems.- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.- Probabilistic Formal Analysis of App Usage to Inform Redesign.- Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.- Concurrency.- Monitoring Multi-threaded Component-Based Systems.- A Generalised Theory of Interface Automata, Component Compatibility and Error.- On Implementing a Monitor-Oriented Programming Framework for Actor Systems.- Towards a Thread-Local Proof Technique for Starvation Freedom.- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.- A Formal Model of the Safety-Critical Java Level 2 Paradigm.- Safety and liveness.- Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata.- Property Preservation for Extension Patterns of State Transition Diagrams.- Symbolic Reachability Analysis of B through ProB and LTSmin.- Model learning.- Enhancing Automata Learning by Log-Based Metrics.- Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report.- On Robust Malware Classifiers by Verifying Unwanted Behaviours.- SAT and SMT solving.- Efficient Deadlock-Freedom Checking using Local Analysis and SAT Solving.- SMT Solvers for Validation of B and Event-B models.- Avoiding Medication Conflicts for Patients with Multimorbidities.- Testing.- Temporal Random Testing for Spark Streaming.- Combining Static Analysis and Testing for Deadlock Detection.- Fuzzing JavaScript Engine APIs.- Theorem proving and constraint satisfaction.- A Component-based Approach to Hybrid SystemsSafety Verification.- Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle.- A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces.- Case studies.- Rule-based Consistency Checking of Railway Infrastructure Designs.- Formal Verification of Safety PLC Based Control Software.- Enabling Static Driver Verifier using Microsoft Azure.