Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Formal Methods and Software Engineering
  • Produktbild: Formal Methods and Software Engineering
Band 5256

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.2013

Abbildungen

XVIII, 136 illus., schwarz-weiss Illustrationen

Herausgeber

Lindsay Groves + weitere

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

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

Gewicht

735 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41201-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.2013

Abbildungen

XVIII, 136 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

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

Gewicht

735 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41201-1

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: Formal Methods and Software Engineering
  • Produktbild: Formal Methods and Software Engineering
  • Keynote.- Lattices of Information for Security: Deterministic, Demonic, Probabilistic.- Specification.- Algebraic Laws for Process Subtyping.- Boundness Issues in CCSL Specifications.- Mining Dataflow Sensitive Specifications.- Proof.- A Proof Slicing Framework for Program Verification.- Formally Verified System Initialisation.- Verifying an Aircraft Proximity Characterization Method in Coq.- Testing.- Assisting Specification Refinement by Random Testing.- Generation of Checking Sequences Using Identification Sets.- The Circus Testing Theory Revisited in Isabelle/HOL.- Timed Systems.- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.- Concurrency.- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.- A UTP Semantics for Communicating Processes with Shared Variables.- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions.- SysML/MDD.- Formal Models of SysML Blocks.- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML .- Translation from Workflow Nets to MSVL.- Verification.- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.- Verification of Functional and Non-functional Requirements of Web Service Composition.- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.- Application.- Formal Kinematic Analysis of the Two-Link Planar Manipulator.- Formal Modelling of Resilient Data Storage in Cloud.- Linking Operational Semantics and Algebraic Semantics for Wireless Networks.- Static Analysis.- Automated Specification Discovery via User-Defined Predicates.- Path-Sensitive Data Flow Analysis Simplified.- Reconstructing Paths for Reachable Code.- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.