Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 44230896
Price: 25841 HUF
Availability: InStock
Author: Yi Li
ISBN: 9789819975839

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Yi Li

Sofiène Tahar

Language

English

Book Paperback

Libristo code: 44230896

Publishers Springer, Berlin, November 2023

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Full description

Libristo code: 44230896

176 b

25 841 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Custo Barcelona (prov.) DALMAU

Paperback

6 859 Ft

Zebra 1

Sheet

10 598 Ft

En finir avec Pasteur 6e édition - Plus d'un siècle de mystification scientifique Ancelet

Paperback

13 015 Ft

Handbuch der Psychiatrie Band 6 Gerald Caplan

Paperback

36 203 Ft

Décadence und Visualität in drei Romanen Paul Leppins: Daniel Jesus, Severins Gang in die Finsternis und Blaugast Constanze Derham

Paperback

10 288 Ft

K-popowe łowczynie demonów. Nieoficjalna księga zadań Lila Violet

Paperback

2 875 Ft

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.