Formal Methods for Industrial Critical Systems von Marieke (Hrsg.) Huisman

Name: Formal Methods for Industrial Critical Systems von Marieke (Hrsg.) Huisman
SKU: 978-3-031-15007-4
Price: 96.00 CHF
Availability: InStock

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

CHF 96.00 inkl. MwSt.

ISBN: 978-3-031-15007-4

Einband: Kartonierter Einband (Kt)

Verfügbarkeit: in der Regel innert 10 Werktagen lieferbar. Abweichungen werden nach Bestelleingang per Mail gemeldet.

Menge:

+ -

Klappentext

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.

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.

Autor	Huisman, Marieke (Hrsg.) / Groote, Jan Friso (Hrsg.)
Einband	Kartonierter Einband (Kt)
Erscheinungsjahr	2022
Seitenangabe	256 S.
Lieferstatus	Folgt in ca. 10 Arbeitstagen
Ausgabekennzeichen	Englisch
Abbildungen	Paperback
Masse	H23.5 cm x B15.5 cm x D1.5 cm 394 g
Auflage	1st ed. 2022
Reihe	Lecture Notes in Computer Science
Verlag	Springer International Publishing

Alle Bände der Reihe "Lecture Notes in Computer Science"

Band 10483

Cover-Bild zu Frontiers of Combining Systems von Clare (Hrsg.) Dixon

Frontiers of Combining Systems von Clare (Hrsg.) D Springer Nature EN

Kartonierter Einband (Kt) | 2017

CHF

90.00

Band 10846

Cover-Bild zu Computer Science - Theory and Applications von Fedor V. (Hrsg.) Fomin

Computer Science - Theory and Applications von Fed Springer Nature EN

Kartonierter Einband (Kt) | 2018

CHF

184.00

Band 170

Cover-Bild zu Internet of Things. IoT Infrastructures von Benny (Hrsg.) Mandler

Internet of Things. IoT Infrastructures von Benny Springer Nature EN

Kartonierter Einband (Kt) | 2016

CHF

103.00

Band 2010

Cover-Bild zu STACS 2001 von Afonso (Hrsg.) Ferreira

STACS 2001 von Afonso (Hrsg.) Ferreira Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

135.00

Band 2136

Cover-Bild zu Mathematical Foundations of Computer Science 2001 von Jiri (Hrsg.) Sgall

Mathematical Foundations of Computer Science 2001 Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

158.00

Band 2142

Cover-Bild zu Computer Science Logic von Laurent (Hrsg.) Fribourg

Computer Science Logic von Laurent (Hrsg.) Fribour Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

142.00

Band 2202

Cover-Bild zu Theoretical Computer Science von Antonio (Hrsg.) Restivo

Theoretical Computer Science von Antonio (Hrsg.) R Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

120.00

Band 2241

Cover-Bild zu Computational Combinatorial Optimization von Michael (Hrsg.) Jünger

Computational Combinatorial Optimization von Micha Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

90.00

Band 2285

Cover-Bild zu STACS 2002 von Helmut (Hrsg.) Alt

STACS 2002 von Helmut (Hrsg.) Alt Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

158.00

Band 2301

Cover-Bild zu Discrete Geometry for Computer Imagery von Achille (Hrsg.) Braquelaire

Discrete Geometry for Computer Imagery von Achille Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

130.00

Band 2420

Cover-Bild zu Mathematical Foundations of Computer Science 2002 von Krzystof (Hrsg.) Diks

Mathematical Foundations of Computer Science 2002 Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

158.00

Band 2500

Cover-Bild zu Automata, Logics, and Infinite Games von Erich (Hrsg.) Grädel

Automata, Logics, and Infinite Games von Erich (Hr Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

90.00

Band 2502

Cover-Bild zu Computer Security -- ESORICS 2002 von Dieter (Hrsg.) Gollmann

Computer Security -- ESORICS 2002 von Dieter (Hrsg Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

110.00

Band 2534

Cover-Bild zu Discovery Science von Steffen (Hrsg.) Lange

Discovery Science von Steffen (Hrsg.) Lange Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

124.00

Band 2573

Cover-Bild zu Graph-Theoretic Concepts in Computer Science von Ludek (Hrsg.) Kucera

Graph-Theoretic Concepts in Computer Science von L Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

120.00

Band 2598

Cover-Bild zu Computer Science in Perspective von Rolf (Hrsg.) Klein

Computer Science in Perspective von Rolf (Hrsg.) K Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

110.00

Band 2607

Cover-Bild zu STACS 2003 von Helmut (Hrsg.) Alt

STACS 2003 von Helmut (Hrsg.) Alt Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

153.00

Band 2626

Cover-Bild zu Computer Vision Systems von James (Hrsg.) Crowley

Computer Vision Systems von James (Hrsg.) Crowley Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

147.00

Band 2657

Cover-Bild zu Computational Science - ICCS 2003 von Peter M.A. (Hrsg.) Sloot

Computational Science - ICCS 2003 von Peter M.A. ( Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

110.00

Band 2658

Computational Science - ICCS 2003 von Peter M.A. ( Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

184.00

Band 2659

Computational Science - ICCS 2003 von Peter M.A. ( Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

110.00

Band 2660

Computational Science - ICCS 2003 von Peter M.A. ( Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

110.00

Band 267

Cover-Bild zu The Practice of Enterprise Modeling von Jennifer (Hrsg.) Horkoff

The Practice of Enterprise Modeling von Jennifer ( Springer Nature EN

Kartonierter Einband (Kt) | 2016

CHF

90.00

Band 2747

Cover-Bild zu Mathematical Foundations of Computer Science 2003 von Branislav (Hrsg.) Rovan

Mathematical Foundations of Computer Science 2003 Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

153.00

Band 2776

Cover-Bild zu Computer Network Security von Vladimir (Hrsg.) Gorodetsky

Computer Network Security von Vladimir (Hrsg.) Gor Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

120.00

Band 2803

Cover-Bild zu Computer Science Logic von Matthias (Hrsg.) Baaz

Computer Science Logic von Matthias (Hrsg.) Baaz Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

158.00

Band 2809

Cover-Bild zu Computer Aided Systems Theory - EUROCAST 2003 von Robeto (Hrsg.) Moreno Diaz

Computer Aided Systems Theory - EUROCAST 2003 von Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

158.00

Band 2886

Cover-Bild zu Discrete Geometry for Computer Imagery von Ingela (Hrsg.) Nyström

Discrete Geometry for Computer Imagery von Ingela Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

147.00

Band 2914

Cover-Bild zu FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science von Paritosh K (Hrsg.) Pandya

FST TCS 2003: Foundations of Software Technology a Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

120.00

Band 2932

Cover-Bild zu SOFSEM 2004: Theory and Practice of Computer Science von Peter (Hrsg.) Van Emde Boas

SOFSEM 2004: Theory and Practice of Computer Scien Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

124.00

Band 2996

Cover-Bild zu STACS 2004 von Volker (Hrsg.) Diekert

STACS 2004 von Volker (Hrsg.) Diekert Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

153.00

Band 3021

Cover-Bild zu Computer Vision - ECCV 2004 von Tomas (Hrsg.) Pajdla

Computer Vision - ECCV 2004 von Tomas (Hrsg.) Pajd Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

153.00

Band 3022

Computer Vision - ECCV 2004 von Tomas (Hrsg.) Pajd Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

153.00

Band 3023

Computer Vision - ECCV 2004 von Tomas (Hrsg.) Pajd Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

153.00

Band 3024

Computer Vision - ECCV 2004 von Tomas (Hrsg.) Pajd Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

153.00

Band 3133

Cover-Bild zu Computer Systems: Architectures, Modeling, and Simulation von Andy (Hrsg.) Pimentel

Computer Systems: Architectures, Modeling, and Sim Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

135.00

Band 3193

Cover-Bild zu Computer Security - ESORICS 2004 von Pierangela (Hrsg.) Samarati

Computer Security - ESORICS 2004 von Pierangela (H Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

124.00

Band 3234

Cover-Bild zu Geographic Information Science von Max J. (Hrsg.) Egenhofer

Geographic Information Science von Max J. (Hrsg.) Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

110.00

Band 3321

Cover-Bild zu Advances in Computer Science - ASIAN 2004, Higher Level Decision Making von Michael J. (Hrsg.) Maher

Advances in Computer Science - ASIAN 2004, Higher Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

147.00

Band 3328

Cover-Bild zu FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science von Kamal (Hrsg.) Lodaya

FSTTCS 2004: Foundations of Software Technology an Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

135.00

Band 3353

Cover-Bild zu Graph-Theoretic Concepts in Computer Science von Juraj (Hrsg.) Hromkovic

Graph-Theoretic Concepts in Computer Science von J Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

130.00

Band 3381

Cover-Bild zu SOFSEM 2005: Theory and Practice of Computer Science von Maria (Hrsg.) Bieliková

SOFSEM 2005: Theory and Practice of Computer Scien Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

120.00

Band 3618

Cover-Bild zu Mathematical Foundations of Computer Science 2005 von Joanna (Hrsg.) Jedrzejowicz

Mathematical Foundations of Computer Science 2005 Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

169.00

Band 3701

Cover-Bild zu Theoretical Computer Science von Mario (Hrsg.) Coppo

Theoretical Computer Science von Mario (Hrsg.) Cop Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

120.00

Band 3967

Cover-Bild zu Computer Science -- Theory and Applications von Dima (Hrsg.) Grigoriev

Computer Science -- Theory and Applications von Di Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

169.00

Band 4057

Cover-Bild zu Biomedical Image Registration von Josien P.W. (Hrsg.) Pluim

Biomedical Image Registration von Josien P.W. (Hrs Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

104.00

Band 4136

Cover-Bild zu Relations and Kleene Algebra in Computer Science von Renate (Hrsg.) Schmidt

Relations and Kleene Algebra in Computer Science v Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

120.00

Band 4162

Cover-Bild zu Mathematical Foundations of Computer Science 2006 von Rastislav (Hrsg.) Královic

Mathematical Foundations of Computer Science 2006 Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

179.00

Band 4362

Cover-Bild zu SOFSEM 2007: Theory and Practice of Computer Science von Jan (Hrsg.) van Leeuwen

SOFSEM 2007: Theory and Practice of Computer Scien Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

184.00

Band 4910

Cover-Bild zu SOFSEM 2008: Theory and Practice of Computer Science von Villiam (Hrsg.) Geffert

SOFSEM 2008: Theory and Practice of Computer Scien Springer Nature EN

Kartonierter Einband (Kt) | 2008

CHF

169.00

Band 505

Cover-Bild zu Computer-Aided Scheduling of Public Transport von Stefan (Hrsg.) Voß

Computer-Aided Scheduling of Public Transport von Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

158.00

Band 5913

Cover-Bild zu Advances in Computer Science, Information Security and Privacy von Anupam (Hrsg.) Datta

Advances in Computer Science, Information Security Springer Nature EN

Kartonierter Einband (Kt) | 2009

CHF

97.00

Band 6072

Cover-Bild zu Computer Science -- Theory and Applications von Farid M. (Hrsg.) Ablaev

Computer Science -- Theory and Applications von Fa Springer Nature EN

Kartonierter Einband (Kt) | 2010

CHF

124.00

Band 613

Cover-Bild zu Networks, Topology and Dynamics von Ahmad K. (Hrsg.) Naimzada

Networks, Topology and Dynamics von Ahmad K. (Hrsg Springer Nature EN

Kartonierter Einband (Kt) | 2008

CHF

147.00

Band 7802

Cover-Bild zu Intelligent Information and Database Systems von Ali (Hrsg.) Selamat

Intelligent Information and Database Systems von A Springer Nature EN

Kartonierter Einband (Kt) | 2013

CHF

97.00

Band 7805

Cover-Bild zu The Language of Mathematics von Mohan Ganesalingam

The Language of Mathematics von Mohan Ganesalingam Springer Nature EN

Kartonierter Einband (Kt) | 2013

CHF

77.00

Band 8556

Cover-Bild zu Machine Learning and Data Mining in Pattern Recognition von Petra (Hrsg.) Perner

Machine Learning and Data Mining in Pattern Recogn Springer Nature EN

Kartonierter Einband (Kt) | 2014

CHF

110.00

Band 9224

Cover-Bild zu Graph-Theoretic Concepts in Computer Science von Ernst W. (Hrsg.) Mayr

Graph-Theoretic Concepts in Computer Science von E Springer Nature EN

Kartonierter Einband (Kt) | 2016

CHF

110.00

Band 9329

Cover-Bild zu Computational Collective Intelligence von Manuel (Hrsg.) Núñez

Computational Collective Intelligence von Manuel ( Springer Nature EN

Kartonierter Einband (Kt) | 2015

CHF

100.00

Band 9587

Cover-Bild zu SOFSEM 2016: Theory and Practice of Computer Science von Rusins Martins (Hrsg.) Freivalds

SOFSEM 2016: Theory and Practice of Computer Scien Springer Nature EN

Kartonierter Einband (Kt) | 2016

CHF

110.00

Weitere Titel von Marieke (Hrsg.) Huisman

Cover-Bild zu Tests and Proofs von Falk (Hrsg.) Howar

Tests and Proofs von Falk (Hrsg.) Howar Springer Nature Switzerland

Kartonierter Einband (Kt) | 2024

CHF

168.00

Cover-Bild zu Concise Guide to Software Verification von Anton Wijs

Concise Guide to Software Verification von Anton W Springer International Publishing

Kartonierter Einband (Kt) | 2024

CHF

83.00

Cover-Bild zu Formal Techniques for Distributed Objects, Components, and Systems von António (Hrsg.) Ravara

Formal Techniques for Distributed Objects, Compone Springer Nature Switzerland

Kartonierter Einband (Kt) | 2023

CHF

96.00

Concise Guide to Software Verification von Anton W Springer International Publishing

Fester Einband | 2023

CHF

109.00

Cover-Bild zu Formal Methods for Industrial Critical Systems von Marieke (Hrsg.) Huisman

Formal Methods for Industrial Critical Systems von Springer International Publishing

Kartonierter Einband (Kt) | 2022

CHF

96.00

Cover-Bild zu Formal Methods von Marieke (Hrsg.) Huisman

Formal Methods von Marieke (Hrsg.) Huisman Springer International Publishing

Kartonierter Einband (Kt) | 2021

CHF

146.00

Cover-Bild zu Integrated Formal Methods von Marieke (Hrsg.) Huisman

Integrated Formal Methods von Marieke (Hrsg.) Huis Springer International Publishing

Kartonierter Einband (Kt) | 2016

CHF

109.00