KI-Beratung Beta

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

Software Engineering and Formal Methods 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

56,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2020

Abbildungen

XIV, 325 p. 639 illus., 63 illus. in color.

Herausgeber

Frank de Boer + weitere

Verlag

Springer

Seitenzahl

325

Maße (L/B/H)

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

Gewicht

517 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-58767-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2020

Abbildungen

XIV, 325 p. 639 illus., 63 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

325

Maße (L/B/H)

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

Gewicht

517 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-58767-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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: Software Engineering and Formal Methods
  • Produktbild: Software Engineering and Formal Methods
  • Testing.- Formal verification.- Program analysis.- Runtime verification.- Meta-programming and software development.- Evolution.