Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16?20, 2020, Proceedings (Programming and Software Engineering)

ISBN 10: 3030634604 ISBN 13: 9783030634605

Editorial: Springer, 2020

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Ria Christie Collections, Uxbridge, Reino Unido Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 25 de marzo de 2015

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

In. N� de ref. del art�culo ria9783030634605_new

Denunciar este art�culo

Sinopsis:

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.

The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

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

Detalles bibliogr�ficos

T�tulo: Integrated Formal Methods: 16th ...
Editorial: Springer
A�o de publicaci�n: 2020
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen del vendedor

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16�"20, 2020, Proceedings: 12546 (Lecture Notes in Computer Science, 12546)

Publicado por Springer, 2020

ISBN 10: 3030634604 ISBN 13: 9783030634605

Antiguo o usado Tapa blanda

Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N� de ref. del art�culo: wbs3006042546

Contactar al vendedor

Comprar usado

EUR 35,44

Env�o por EUR 8,72
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Integrated Formal Methods

Dongol, Brijesh|Troubitsyna, Elena

Publicado por Springer International Publishing, 2020

ISBN 10: 3030634604 ISBN 13: 9783030634605

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 refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and&nbspselect. N� de ref. del art�culo: 414139071

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

Integrated Formal Methods | 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Brijesh Dongol (u. a.)

Publicado por Springer, 2020

ISBN 10: 3030634604 ISBN 13: 9783030634605

Nuevo Taschenbuch

Impresi�n bajo demanda

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 de archivo

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)

Publicado por Springer, 2020

ISBN 10: 3030634604 ISBN 13: 9783030634605

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020024849

Contactar al vendedor

Comprar nuevo

EUR 53,12

Env�o por EUR 3,43
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Integrated Formal Methods

Elena Troubitsyna

Publicado por Springer International Publishing Nov 2020, 2020

ISBN 10: 3030634604 ISBN 13: 9783030634605

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 refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed andselected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. 476 pp. Englisch. N� de ref. del art�culo: 9783030634605

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

Integrated Formal Methods

Elena Troubitsyna

Publicado por Springer International Publishing, Springer Nature Switzerland Nov 2020, 2020

ISBN 10: 3030634604 ISBN 13: 9783030634605

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 refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch. N� de ref. del art�culo: 9783030634605

Contactar al vendedor

Comprar nuevo

EUR 53,49

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

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16�20, 2020, Proceedings

Elena Troubitsyna

Publicado por Springer International Publishing, 2020

ISBN 10: 3030634604 ISBN 13: 9783030634605

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 refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed andselected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. N� de ref. del art�culo: 9783030634605

Contactar al vendedor