Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526 (Programming and Software Engineering) - Tapa blanda

9783319294728: Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526 (Programming and Software Engineering)

Tapa blanda

ISBN 10: 3319294725 ISBN 13: 9783319294728

Editorial: Springer, 2016

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 109,28

11 Nuevo

De EUR 49,07

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Rese�a del editor

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

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

EditorialSpringer
A�o de publicaci�n2016
ISBN 10 3319294725
ISBN 13 9783319294728
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas216
EditorCorn�lio M�rcio, Roscoe Bill
Contacto del fabricanteno disponible

Comprar usado

Condici�n: Como Nuevo

Like New

Ver este art�culo

EUR 109,28

Convertir moneda

EUR 29,47 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 49,07

Convertir moneda

EUR 4,69 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Formal Methods: Foundations and Applications: 18th...

Imagen de archivo

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)

Publicado por Springer, 2016

ISBN 10: 3319294725 ISBN 13: 9783319294728

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar nuevo

EUR 49,07

Convertir moneda

Gastos de env�o: EUR 4,69

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods: Foundations and Applications

Bill Roscoe

Publicado por Springer International Publishing Feb 2016, 2016

ISBN 10: 3319294725 ISBN 13: 9783319294728

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 revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation. 216 pp. Englisch. N� de ref. del art�culo: 9783319294728

Contactar al vendedor

Comprar nuevo

EUR 42,80

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Bill Roscoe

Publicado por Springer International Publishing, 2016

ISBN 10: 3319294725 ISBN 13: 9783319294728

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 revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation. N� de ref. del art�culo: 9783319294728

Contactar al vendedor

Comprar nuevo

EUR 42,80

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods: Foundations and Applications

Corn�lio, M�rcio|Roscoe, Bill

Publicado por Springer International Publishing, 2016

ISBN 10: 3319294725 ISBN 13: 9783319294728

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and sele. N� de ref. del art�culo: 109674899

Contactar al vendedor

Comprar nuevo

EUR 39,61

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Cornelio, Marcio

Publicado por Springer 2016-02, 2016

ISBN 10: 3319294725 ISBN 13: 9783319294728

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

PF. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783319294728

Contactar al vendedor

Comprar nuevo

EUR 43,86

Convertir moneda

Gastos de env�o: EUR 17,67

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers

Cornelio, Marcio (Editor)/ Roscoe, Bill (Editor)

Publicado por Springer-Verlag New York Inc, 2016

ISBN 10: 3319294725 ISBN 13: 9783319294728

Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock. N� de ref. del art�culo: x-3319294725

Contactar al vendedor

Comprar nuevo

EUR 64,63

Convertir moneda

Gastos de env�o: EUR 11,79

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods: Foundations and Applications

Bill Roscoe

Publicado por Springer International Publishing, Springer International Publishing Feb 2016, 2016

ISBN 10: 3319294725 ISBN 13: 9783319294728

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch. N� de ref. del art�culo: 9783319294728

Contactar al vendedor