Vor Ort
Merkzettel Warenkorb
  • Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation
  • Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation
Band 336

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Aus der Reihe Communications in Computer and Information Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.10.2012

Herausgeber

Reiner Hähnle + weitere

Verlag

Springer Berlin

Seitenzahl

261

Maße (L/B/H)

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

Gewicht

423 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-34780-1

Beschreibung

Portrait

Bernhard Steffen studierte Mathematik an der Christian-Albrechts Universität zu Kiel, wo er anschließend auch in der Informatik promovierte. Nach Forschungsaufenthalten am Laboratory for Foundations in Computer Science in Edinburgh und an der Universität Aarhus, wurde er 1990 an die RWTH Aachen berufen, von wo er 1993 an die Universität Passau auf den Lehrstuhl für Programmiersysteme wechselte. Seit 1997 leitet er den Lehrstuhl für Programmiersysteme und Compilerbau an der TU-Dortmund. Bernhard Steffen ist Gründer der internationalen Konferenz über Tools and Algorithm for the Conbstruction and Analysis of Systems (TACAS) und des internationalen Journals über Software Tools for Technology Transfer (STTT).

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.10.2012

Herausgeber

Verlag

Springer Berlin

Seitenzahl

261

Maße (L/B/H)

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

Gewicht

423 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-34780-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: Leveraging Applications of Formal Methods, Verification, and Validation
  • Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation
  • Robot programming.- Languages and compilation techniques.- Real-time and fault tolerance.- Dependability.- Software architectures.- computer vision.- Cognitive robotics.- Multi-robot-coordination.- Simulation.- Bio-inspired algorithms.- Machine learning for anomaly detection.- Model construction in software product lines.- Classification of web service interfaces.