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

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.2018

Herausgeber

Jing Sun + weitere

Verlag

Springer

Seitenzahl

474

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

744 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-02449-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.2018

Herausgeber

Verlag

Springer

Seitenzahl

474

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

744 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-02449-9

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
  • Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.