9783540609476 - deductive program design: 152 (nato asi subseries f:, 152) (15 resultados)

ISBN

Filtrar la búsqueda

  • Libros (15)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Springer 1996

    3540609474 / 9783540609476

    • Tapa dura

    Librería: Buchpark, Trebbin, AlemaniaBuchpark

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 7,69

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

    Cantidad disponible: 1 disponibles

    Condición: Gut. Zustand: Gut | Seiten: 484 | Sprache: Englisch | Produktart: Bücher | Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program

  • Idioma: Inglés

    Editorial: Springer 1996

    3540609474 / 9783540609476

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 230,05

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

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Springer 1996

    3540609474 / 9783540609476

    • Tapa dura

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

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 232,42

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

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Condición: Nuevo

    EUR 217,35

    Envío por EUR 17,37 
    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 1996

    3540609474 / 9783540609476

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 225,44

    Envío por EUR 13,87 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Springer 1996

    3540609474 / 9783540609476

    • Tapa dura

    Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 280,57

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

    Cantidad disponible: 4 disponibles

    Condición: New. pp. 484.

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg 1996

    3540609474 / 9783540609476

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 213,99

    Envío por EUR 64,24 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design need

  • Condición: Usado - Como Nuevo

    EUR 300,52

    Envío por EUR 17,37 
    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 1996

    3540609474 / 9783540609476

    • Tapa dura

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

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 290,99

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

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Like New. Like New. book.

  • Idioma: Inglés

    Editorial: Springer 1996

    3540609474 / 9783540609476

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 327,15

    Envío por EUR 2,29 
    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 Berlin Heidelberg 1996

    3540609474 / 9783540609476

    • Tapa dura
    • Impresión bajo demanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 180,07

    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. Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.|Deduc

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1996 1996

    3540609474 / 9783540609476

    • Tapa dura
    • 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 213,99

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

    Cantidad disponible: 2 disponibles

    Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in pro

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1996 1996

    3540609474 / 9783540609476

    • Tapa dura
    • Impresión bajo demanda

    Librería: buchversandmimpf2000, Emtmannsberg, Alemaniabuchversandmimpf2000

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 213,99

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

    Cantidad disponible: 1 disponibles

    Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program

  • Idioma: Inglés

    Editorial: Springer 1996

    3540609474 / 9783540609476

    • Tapa dura
    • Impresión bajo demanda

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

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 295,08

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

    Cantidad disponible: 4 disponibles

    Condición: New. Print on Demand pp. 484 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

  • Idioma: Inglés

    Editorial: Springer 1996

    3540609474 / 9783540609476

    • Tapa dura
    • Impresión bajo demanda

    Librería: Biblios, frankfurt am main, AlemaniaBiblios

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 293,88

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