Data refinement model oriented proof de roever willem paul (13 resultados)
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,85
Envío por EUR 2,67Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2009
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Primera edición
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 82,32
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condició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. . . . . …
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 85,36
Envío por EUR 13,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 104,68
Envío por EUR 9,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condició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. …
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 135,53
Envío por EUR 6,19Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 172,37
Envío por EUR 2,67Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- 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 181,06
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condició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. . . . . …
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 187,86
Envío por EUR 13,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 233,22
Envío por EUR 9,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condició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. …
Idioma: Inglés
Editorial: Cambridge University Press 2008-12, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,31
Envío por EUR 7,74Se envía de Reino Unido a Estados Unidos de AmericaCantidad 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: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 90,06
Envío por EUR 20,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Más imágenesIdioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 85,10
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. 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. …
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 238,88
Envío por EUR 22,83Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
