Isbn: 9781848213623 - formal methods: industrial use from model to the code (11 resultados)

- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 134,35
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 136,79
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Tapa dura
Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 137,99
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand New.

- Tapa dura
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 153,15
Envío por EUR 3,56Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. pp. 384.

- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 141,06
Envío por EUR 17,73Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 156,91
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 159,33
Envío por EUR 7,68Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. pp. 384.

- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 164,04
Envío por EUR 17,73Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 185,53
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. Editor(s): Boulanger, Jean-Louis. Num Pages: 374 pages, black & white illustrations, black & white tables, figures. BIC Classification: TG. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 27. Weight in Grams: 704. . 2012. . . . .…

- Tapa dura
Librería: Ubiquity Trade, Miami, FL, Estados Unidos de AmericaUbiquity Trade
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 199,57
Envío por EUR 2,68Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand new! Please provide a physical shipping address.

- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 238,07
Envío por EUR 9,38Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. Editor(s): Boulanger, Jean-Louis. Num Pages: 374 pages, black & white illustrations, black & white tables, figures. BIC Classification: TG. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 27. Weight in Grams: 704. . 2012. . . . . Books ship from the US and Ireland.…