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

550 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 527 kr

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr