Hoppa till sidans huvudinnehåll

Del 13478

Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Häftad, Engelska, 2022

AvAdrian Riesco,Min Zhang

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Produktinformation

  • Utgivningsdatum2022-10-10
  • Mått155 x 235 x 25 mm
  • Vikt692 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor440
  • FörlagSpringer International Publishing AG
  • ISBN9783031172434
Hoppa över listan

Du kanske också är intresserad av

Fundamentals of 3D Food Printing and Applications

Fernanda C. Godoi, Bhesh Bhandari, Sangeeta Prakash, Min Zhang, PhD (Tessenderlo Innovation Center; R&D Expert - Bio-valorization) Godoi, Fernanda C., Australia) Bhandari, Bhesh, PhD (University of Queensland, Australia) Prakash, Sangeeta, PhD (School of Agriculture and Food Sciences, The University of Queensland, China) Zhang, Min, PhD (School of Food Science and Technology, Jiangnan University, Bhesh R. Bhandari

Häftad

3 009 kr