Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

AvShang-Wei Lin,Zhe Hou

Häftad, Engelska, 2020

Del 12531 i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Del 14794

Sports Analytics

Jin Song Dong, Masoumeh Izadi, Zhe Hou

Häftad

1 543 kr

  • -22%
Del 2

Snedsteget

Elle Kennedy

Pocket
8

69 kr89 kr