1. Home
  2. eBooks
  3. Non-Fiction
  4. Computing & information technology
  5. Computer science
Formal Methods and Software Engineering

Formal Methods and Software Engineering

by Kazuhiro Ogata, Dominique Mery,  Meng Sun and others
Epub (Kobo), Epub (Adobe)
Publication Date: 30/12/2024
Be the first to write a review

Share This eBook:

  $98.99
Add to List

This item is delivered digitally

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.


The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods

ISBN:
9789819606177
9789819606177
Category:
Computer science
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
30-12-2024
Language:
English
Publisher:
Springer Nature Singapore

This item is delivered digitally

You can find this item in:

Natural language & machine translation Computer programming / software development Computing & information technology Audio processing Information technology: general issues Enterprise software Compilers Mathematical theory of computation Discrete mathematics Software Engineering Computer science
Show more Show less

Reviews

Be the first to review Formal Methods and Software Engineering.