We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Formal Methods and Software Engineering

Formal Methods and Software Engineering

By Sofiène Tahar

part of the Lecture Notes in Computer Scie series

part of the Lecture Notes in Computer Science series

Formal Methods and Software Engineering by Sofiène Tahar Save 15% from RPP Save 15%
About Formal Methods and Software Engineering

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21¿24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

Show more
  • Language:
  • English
  • ISBN:
  • 9789819975839
  • Binding:
  • Paperback
  • Pages:
  • 332
  • Published:
  • October 23, 2023
  • Edition:
  • 23001
  • Dimensions:
  • 155x19x235 mm.
  • Weight:
  • 505 g.
Delivery: 2-4 weeks
Expected delivery: December 22, 2024
Extended return policy to January 30, 2025

About Sofiène Tahar

View all books by Sofiène Tahar

Description of Formal Methods and Software Engineering

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21¿24, 2023.
The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

User ratings of Formal Methods and Software Engineering



Others also bought..
Find similar books
The book Formal Methods and Software Engineering can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.