Refinement semantics languages applications de derrick john (20 resultados)

Autor: 
Título: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (20)

Más información

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 53,65

    Envío por EUR 2,36 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Springer 9/14/2018, 2018

    3319927094 / 9783319927091

    • Tapa dura

    Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 60,34

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 5 disponibles

    Hardback or Cased Book. Condición: New. Refinement: Semantics, Languages and Applications. Book.

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura

    Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 62,52

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 62,29

    Envío por EUR 2,36 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 63,69

    Envío por EUR 2,36 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 77,98

    Envío por EUR 2,36 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 68,09

    Envío por EUR 13,34 
    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, 2018

    3319927094 / 9783319927091

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 68,09

    Envío por EUR 13,34 
    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, 2018

    3319927094 / 9783319927091

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 68,07

    Envío por EUR 17,72 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 68,07

    Envío por EUR 17,72 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • 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 85,79

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

    Cantidad disponible: 4 disponibles

    Condición: New. pp. 269.

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura

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

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 89,48

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

    Cantidad disponible: 4 disponibles

    Condición: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 83,53

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

    Cantidad disponible: 2 disponibles

    Hardcover. Condición: Brand New. 288 pages. 9.25x6.10x0.87 inches. In Stock.

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 62,95

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

    Cantidad disponible: 1 disponible

    Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements.This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today.It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.…

  • Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 62,95

    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 - Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements.This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today.It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.…

  • Más imágenes

    Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • Tapa blanda

    Librería: preigu, Osnabrück, Alemaniapreigu

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 50,45

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

    Cantidad disponible: 5 disponibles

    Taschenbuch. Condición: Neu. Refinement | Semantics, Languages and Applications | John Derrick (u. a.) | Taschenbuch | xix | Englisch | 2019 | Springer | EAN 9783030064976 | 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, 2019

    3030064972 / 9783030064976

    • Tapa blanda

    Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 109,52

    Envío por EUR 29,54 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Paperback. Condición: New. New. book.

  • Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • 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 86,16

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

    Cantidad disponible: 4 disponibles

    Condición: New. Print on Demand pp. 269.

  • Idioma: Inglés

    Editorial: Springer, 2019

    3030064972 / 9783030064976

    • 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 86,29

    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. 269.

  • Idioma: Inglés

    Editorial: Springer, 2018

    3319927094 / 9783319927091

    • Tapa dura
    • Impresión bajo demanda

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

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 88,84

    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.