Importe total (1 artículo artículos):
Destino del pedido:
data refinement model oriented proof de roever willem paul (19 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (19)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (17)
- Como nuevo, Excelente o Muy bueno (2)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (3)
- No impresión bajo demanda (14)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47) (Volume 0)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 76,30
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47) (Volume 0)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 71,50
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press 2009-03-09, 2009
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,06
Envío por EUR 17,91
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 82,32
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . .
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 101,29
Envío por EUR 9,04
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 131,10
Envío por EUR 5,99
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 164,44
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 166,79
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 165,70
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 158,09
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 158,07
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 173,00
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1998
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 181,06
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . .
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 225,67
Envío por EUR 9,04
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . . Books ship from the US and Ireland.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 75,00
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 435 pages. 8.90x5.98x1.18 inches. In Stock. This item is printed on demand.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,29
Envío por EUR 20,18
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Data Refinement | Model-Oriented Proof Methods and Their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 85,10
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Data Refinement | Model-Oriented Proof Methods and Their Comparison | Willem-Paul de Roever (u. a.) | Taschenbuch | Englisch | 2008 | Cambridge University Press | EAN 9780521103503 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 172,93
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 423 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison
Libro 29 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 210,13
Envío por EUR 22,14
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
