Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Verification of Object-Oriented Software
  • Produktbild: Formal Verification of Object-Oriented Software
Band 7421

Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.07.2012

Abbildungen

X, 251 p. 34 illus.

Herausgeber

Bernhard Beckert + weitere

Verlag

Springer Berlin

Seitenzahl

251

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

406 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-31761-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.07.2012

Abbildungen

X, 251 p. 34 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

251

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

406 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-31761-3

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 Verification of Object-Oriented Software
  • Produktbild: Formal Verification of Object-Oriented Software

  • Modular Verification of Object-Based Programs.- The COST IC0701 Verification Competition 2011.- The Practical Application of Formal Methods: Where Is the Benefit for Industry?.- Isolation Types and Multi-core Architectures.- Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.-Modeling and Analyzing the Interaction of C and C++ Strings.- Integration of Bounded Model Checking and Deductive Verification.- A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems.- Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.- An Abstract JVM.- A Verified Implementation of Priority Monitors in Java.- Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-BasedVerification.- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.- A K-Based Formal Framework for Domain-Specific Modelling Languages.- Verification of Information Flow Properties of Java Programs without Approximations.