Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Verification of Object-Oriented Software

  • Kartonierter Einband
  • 199 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of O... Weiterlesen
20%
73.15 CHF 58.50
Sie sparen CHF 14.65
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.
The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.



High quality selected papers

Unique visibility

State of the art research

Produktinformationen

Titel: Formal Verification of Object-Oriented Software
Untertitel: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Editor:
EAN: 9783642180699
ISBN: 978-3-642-18069-9
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 199
Größe: H13mm x B245mm x T150mm
Jahr: 2011
Untertitel: Englisch
Auflage: 2011

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"