Artículos relacionados a Formal Methods: Foundations and Applications: 17th...

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings: 8941 (Programming and Software Engineering) - Tapa blanda

 
9783319150741: Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings: 8941 (Programming and Software Engineering)

Sinopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.

The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

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

De la contraportada

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.

The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

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

  • EditorialSpringer
  • Año de publicación2015
  • ISBN 10 331915074X
  • ISBN 13 9783319150741
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas192
  • EditorBraga Christiano, Martí-Oliet Narciso
  • Contacto del fabricanteno disponible

Comprar usado

192 Seiten Buch in neuwertigem...
Ver este artículo

EUR 7,00 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

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

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Formal Methods: Foundations and Applications: 17th...

Imagen del vendedor

Braga, Christiano und Narciso Marti-Oliet,
Publicado por Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Antiguo o usado Tapa blanda

Librería: Antiquariat Bookfarm, Löbnitz, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

2015. 192 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf buchrücken und Barcode auf Vorsatz. 9783319150741 Sprache: Englisch Gewicht in Gramm: 272 Taschenbuch, Größe: 15.5 x 1.1 x 23.5 cm. Nº de ref. del artículo: 1129549

Contactar al vendedor

Comprar usado

EUR 27,12
Convertir moneda
Gastos de envío: EUR 7,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Nuevo Tapa blanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783319150741_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

Narciso Martí-Oliet
ISBN 10: 331915074X ISBN 13: 9783319150741
Nuevo Taschenbuch
Impresión bajo demanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. 192 pp. Englisch. Nº de ref. del artículo: 9783319150741

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

Narciso Martí-Oliet
ISBN 10: 331915074X ISBN 13: 9783319150741
Nuevo Taschenbuch

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. Nº de ref. del artículo: 9783319150741

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

Braga, Christiano|Martí-Oliet, Narciso
Publicado por Springer International Publishing, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Nuevo Tapa blanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 4499494

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

Braga, Christiano
Publicado por Springer 2015-01, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783319150741

Contactar al vendedor

Comprar nuevo

EUR 42,58
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 del vendedor

Braga, Christiano (EDT); Martí-oliet, Narciso (EDT)
Publicado por Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 23090280-n

Contactar al vendedor

Comprar nuevo

EUR 44,89
Convertir moneda
Gastos de envío: EUR 17,37
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Braga, Christiano (EDT); MartÃ-oliet, Narciso (EDT)
Publicado por Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 23090280-n

Contactar al vendedor

Comprar nuevo

EUR 45,60
Convertir moneda
Gastos de envío: EUR 17,68
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

Braga, Christiano (EDT); Martí-oliet, Narciso (EDT)
Publicado por Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 23090280

Contactar al vendedor

Comprar usado

EUR 49,95
Convertir moneda
Gastos de envío: EUR 17,37
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Braga, Christiano (EDT); Martí-oliet, Narciso (EDT)
Publicado por Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Antiguo o usado Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 23090280

Contactar al vendedor

Comprar usado

EUR 53,54
Convertir moneda
Gastos de envío: EUR 17,68
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 6 copia(s) de este libro

Ver todos los resultados de su búsqueda