ISBN: 9783642410703 - formal methods: foundations and applications: 16th brazilian symposium, sbmf 2013, brasilia, brazil, september 29 - october 4, 2013. proceedings: 8195 (programming and software engineering) (15 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (15)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

    Librería: Ammareal, Morangis, FranciaAmmareal

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 39,86

    Envío por EUR 4,49 
    Se envía de Francia a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Softcover. Condición: Très bon. Edition 2013. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Edition 2013. Ammareal gives back up to 15% of this item's net price to charity organizations.

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 61,91

    Envío por EUR 11,19 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In English.

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

    Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 79,64

    Envío por EUR 3,58 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. pp. 256.

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 73,95

    Envío por EUR 11,95 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Paperback. Condición: Brand New. 2013 edition. 256 pages. 9.20x6.10x0.70 inches. In Stock.

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 59,81

    Envío por EUR 35,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.…

  • Más imágenes

    Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

    Librería: preigu, Osnabrück, Alemaniapreigu

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 46,85

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

    Cantidad disponible: 5 disponibles

    Taschenbuch. Condición: Neu. Formal Methods: Foundations and Applications | 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings | Juliano Iyoda (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642410703 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

    Librería: Buchpark, Trebbin, AlemaniaBuchpark

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 34,90

    Envío por EUR 105,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Condición: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.…

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda

    Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 179,90

    Envío por EUR 39,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Softcover. Condición: gut. 2013. Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceed In deutscher Sprache. pages.

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda
    • Impresión bajo demanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 43,04

    Envío por EUR 5,50 
    Se envía de Italia a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: new. Questo è un articolo print on demand.

  • Idioma: Inglés

    Editorial: Springer 2013-09, 2013

    3642410707 / 9783642410703

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Chiron Media, Wallingford, Reino UnidoChiron Media

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 52,35

    Envío por EUR 5,96 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 20 disponibles

    PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg Sep 2013, 2013

    3642410707 / 9783642410703

    • Tapa blanda
    • Impresión bajo demanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 49,22

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

    Cantidad disponible: 2 disponibles

    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 Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains. 256 pp. Englisch.…

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 79,24

    Envío por EUR 7,77 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. Print on Demand pp. 256 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

  • Idioma: Inglés

    Editorial: Springer, 2013

    3642410707 / 9783642410703

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 79,91

    Envío por EUR 9,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. PRINT ON DEMAND pp. 256.

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg, 2013

    3642410707 / 9783642410703

    • Tapa blanda
    • Impresión bajo demanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 44,88

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

    Cantidad disponible: Más de 20 disponibles

    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 Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selec.…

  • Idioma: Inglés

    Editorial: Springer, Springer Sep 2013, 2013

    3642410707 / 9783642410703

    • Tapa blanda
    • Impresión bajo demanda

    Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 49,22

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

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 256 pp. Englisch.…