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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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 for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer International Publishing AG
SKU: 39504765
Price: 28789 HUF
Availability: InStock
Author: Jan Friso Groote
ISBN: 9783031150074

27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote

Marieke Huisman

Language

English

Book Paperback

Libristo code: 39504765

Publishers Springer International Publishing AG, August 2022

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Ind... Full description

Libristo code: 39504765

190 b

28 789 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Dr. Brumm steckt fest / Dr. Brumm geht baden Daniel Napp

Audio CD

3 458 Ft

Fantasmalìe. Raccolta illustrata di miti e leggende abruzzesi Peppe Millanta

Hardback

17 564 Ft

Keyroad Pravítko Flexi, 15 cm - mix motivů

Stationery items

182 Ft

Sudokuh Hans Buring

Paperback

5 415 Ft

Animation et dynamisation de l'offre commerciale - BTS 1 et 2 MCO - Livre + licence élève - 2023 Claudia Del Testa

Paperback

14 029 Ft

Pravidla českého pravopisu collegium

Paperback

2 473 Ft

LAS CURRUTACAS MODESTAS CHANT-PIANO CHANT ENRIQUE GRANADOS Book

binding.

4 855 Ft

Carnet C&G poche ligné grain de riz dore CASTELLI

Book

894 Ft

Zunderschwamm und mehr Hans Schaub

Hardback

7 930 Ft

In 20 bunten Projekten durch die Kunsttechniken Ela Madreiter

Paperback

10 236 Ft

Athos - wo die Stille zu Hause ist Erich Diefenbach

Paperback

5 094 Ft

TOIRO ROMEIRAS

Paperback

33 730 Ft

Jahrbuch für Photographie und Reproduktionstechnik Josef Maria Eder

Paperback

13 240 Ft

La comunicación en cambio constante : branded content, community management, comunicación 2.0, estrategia en medios sociales Araceli Castelló Martínez

Paperback

13 225 Ft

Tigre Dientes De Sable En El Ocaso / Sunset of the Sabertooth Mary Pope Osborne

Paperback

3 688 Ft

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.