• Produktbild: Formal Methods and Software Engineering
  • Produktbild: Formal Methods and Software Engineering
Band 5256

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.10.2016

Abbildungen

XVII, 144 illus., schwarz-weiss Illustrationen

Herausgeber

Kazuhiro Ogata + weitere

Verlag

Springer

Seitenzahl

486

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

7606 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-47845-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.10.2016

Abbildungen

XVII, 144 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

486

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

7606 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-47845-6

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
  • Abstraction, refinement and evolution.- Formal specification and modeling.- Program analysis.- Formal verification.- Model checking.- 

    Formal approaches to software testing and inspection.- Formal methods for self-adaptive systems.- Formal methods for object-oriented systems.- Formal methods for component-based systems.- Tool development, integration and experiments involving verified systems.- Formal model-based development and code generation.