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-Verlag GmbH
SKU: 49786071
Price: 29400 HUF
Availability: InStock
Author: Jingyi Wang
ISBN: 9789819542123

Jingyi Wang

Naijun Zhan

Language

English

Book Paperback

Libristo code: 49786071

Publishers Springer-Verlag GmbH, December 2025

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Form... Full description

Libristo code: 49786071

201 b

29 400 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Matematická cvičení pro střední školy Daniel Hrubý

Paperback

4 192 Ft

Coup d'Oeil Sur Les Deux Epidemies de Cholera Asiatique Qui Ont Sevi A Etampes Bourgeois-J

Paperback

5 934 Ft

Nous n'avons pas abandonné We gaven niet op: Livre d'images pour enfants Français-Néerlandais (Édition bilingue) (www.rich.center) Richard Carlson Jr

Paperback

4 368 Ft

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10 13, 2025.

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