0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Paperback, 1st ed. 2022) Loot Price: R1,758
Discovery Miles 17 580
Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15,...

Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Paperback, 1st ed. 2022)

Jan Friso Groote, Marieke Huisman

Series: Lecture Notes in Computer Science, 13487

 (sign in to rate)
Loot Price R1,758 Discovery Miles 17 580 | Repayment Terms: R165 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

Donate to Against Period Poverty

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.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 13487
Release date: August 2022
First published: 2022
Editors: Jan Friso Groote • Marieke Huisman
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 245
Edition: 1st ed. 2022
ISBN-13: 978-3-03-115007-4
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer communications & networking > General
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Applications of computing > Databases > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 3-03-115007-4
Barcode: 9783031150074

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

CISA - Certified Information Systems…
Cannon Paperback R1,686 R1,298 Discovery Miles 12 980
Managing Business Projects - The…
Frank Einhorn Paperback R495 R468 Discovery Miles 4 680
Network+ Guide to Networks
Jill West, Jean Andrews, … Paperback R1,390 R1,243 Discovery Miles 12 430
Guide to Networking Essentials
Greg Tomsho Paperback R1,423 R1,271 Discovery Miles 12 710
Data Communications and Computer…
Curt. White Hardcover R990 R499 Discovery Miles 4 990
The Gathering Cloud
J. R. Carpenter Paperback R385 Discovery Miles 3 850
CompTIA Security+ Study Guide - Exam…
Mike Chapple, David Seidl Paperback R1,419 R1,260 Discovery Miles 12 600
Security Engineering - A Guide to…
R. Anderson Hardcover R1,358 Discovery Miles 13 580
Hacking For Dummies
K Beaver Paperback R555 Discovery Miles 5 550
ISO27001/ISO27002 - A Pocket Guide
Alan Calder Paperback R661 Discovery Miles 6 610
Community Engagement in the Online Space
Michelle Dennis, James H Albert Hardcover R6,006 Discovery Miles 60 060
Age Of Agency - Rise With A.I.
Kerushan Govender Paperback R350 R280 Discovery Miles 2 800

See more

Partners