Formal Methods For Industrial Critical S

Ter Beek, Maurice H.

ISBN 10: 3030582973 ISBN 13: 9783030582975

Editorial: Springer, 2020

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 27 de febrero de 2001

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

N� de ref. del art�culo V9783030582975

Denunciar este art�culo

Sinopsis:

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.

The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.

The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Formal Methods For Industrial Critical S
Editorial: Springer
A�o de publicaci�n: 2020
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

Formal Methods for Industrial Critical Systems (eng)

ter Beek, Maurice H.

Publicado por Springer, 2020

ISBN 10: 3030582973 ISBN 13: 9783030582975

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Brook Bookstore On Demand, Napoli, NA, Italia

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: new. Questo � un articolo print on demand. N� de ref. del art�culo: c122b0dfd4033f30a2d454020d3e7506

Contactar al vendedor

Comprar nuevo

EUR 46,22

Env�o por EUR 6,80
Se env�a de Italia a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Industrial Critical Systems

ter Beek, Maurice H.|Nickovic, Dejan

Publicado por Springer International Publishing, 2020

ISBN 10: 3030582973 ISBN 13: 9783030582975

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-. N� de ref. del art�culo: 398062852

Contactar al vendedor

Comprar nuevo

EUR 48,37

Env�o por EUR 48,99
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

M�s im�genes

Formal Methods for Industrial Critical Systems | 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. Ter Beek (u. a.)

Publicado por Springer, 2020

ISBN 10: 3030582973 ISBN 13: 9783030582975

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Comprar nuevo

EUR 50,25

Env�o por EUR 70,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Industrial Critical Systems

Dejan Ni�kovi�

Publicado por Springer International Publishing Aug 2020, 2020

ISBN 10: 3030582973 ISBN 13: 9783030582975

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference. 316 pp. Englisch. N� de ref. del art�culo: 9783030582975

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 23,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2�3, 2020, Proceedings

Dejan Ni�kovi�

Publicado por Springer International Publishing, 2020

ISBN 10: 3030582973 ISBN 13: 9783030582975

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference. N� de ref. del art�culo: 9783030582975

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 62,41
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Industrial Critical Systems

Dejan Ni�kovi�

Publicado por Springer International Publishing, Springer International Publishing Aug 2020, 2020

ISBN 10: 3030582973 ISBN 13: 9783030582975

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch. N� de ref. del art�culo: 9783030582975

Contactar al vendedor