Spin j j (20 resultados)

- Tapa blanda
Librería: Hamelyn, Madrid, M, EspañaHamelyn
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 10,70
Envío por EUR 8,99Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Very Good. : Este libro de Arantxa Coca y J. J. Spin, publicado por Zenith, es una guía práctica y entretenida para afrontar los desafíos de la vida en pareja. Con un enfoque en el amor real y dejando de lado las expectativas del amor romántico, ofrece consejos para construir una relación más feliz y saludable. Ideal para parejas que buscan mejorar su convivencia y disfrutar de una conexión más auténtica. EAN: 9788408208358 Tipo: Libros Categoría: Romance Título: Parejas al borde de un ataque de nervios Autor: Arantxa Coca| J. J. Spin Editorial: Zenith Idioma: es-ES Páginas: 192 Formato: tapa blanda.…

- Tapa blanda
Librería: KALAMO BOOKS, Burriana, CS, EspañaKALAMO BOOKS
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 16,99
Envío por EUR 19,86Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New.

Editorial: Nowbar NYC Nightclub nd
Librería: ANARTIST, New York, NY, Estados Unidos de AmericaANARTIST
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 23,21
Envío por EUR 4,51Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoNightclub party invite postcard, x inches; very good condition; an unmailed copy.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,57
Envío por EUR 2,38Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,62
Envío por EUR 2,38Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

The SPIN Verification System
Workshop On The Spin Verification System (1996 New Brunswick, N. J.); Gregoire, Jean-Charles; Holzmann, Gerard J.; Peled, Doron
- Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,69
Envío por EUR 6,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,87
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,92
Envío por EUR 14,96Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Brand New. 203 pages. 10.25x7.25x0.50 inches. In Stock.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 69,12
Envío por EUR 17,95Se 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.

The Spin Verification System: Dimacs Workshop, August 5, 1996
Workshop on the Spin Verification System (1996 New Brunswick, N. J.)
- 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 90,05
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. Editor(s): Gregoire, Jean-Charles; etc.; Holzmann, Gerald; Peled, Doron A. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 203 pages, illustrations. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 624. . 1997. hardcover. . . . .…

The Spin Verification System: Dimacs Workshop, August 5, 1996
Workshop on the Spin Verification System (1996 New Brunswick, N. J.)
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 97,69
Envío por EUR 9,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. Editor(s): Gregoire, Jean-Charles; etc.; Holzmann, Gerald; Peled, Doron A. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 203 pages, illustrations. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 624. . 1997. hardcover. . . . . Books ship from the US and Ireland.…

The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Workshop On The Spin Verification System (1996 New Brunswick, N. J.); Gregoire, Jean-Charles; Holzmann, Gerard J.; Peled, Doron
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 112,42
Envío por EUR 13,41Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. In English.
- Tapa dura
Librería: Antiquariaat A. Kok & Zn. B.V., Amsterdam, HolandaAntiquariaat A. Kok & Zn. B.V.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 22,00
Envío por EUR 28,27Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoAmst., 1974. 60 pages text. 20 loose coloured plates in rear pocket. Hardcover. Sm. folio. Oblong.Dutch text edition.

- Tapa blanda
Librería: Librerias Prometeo y Proteo, malaga, MA, EspañaLibrerias Prometeo y Proteo
Contactar con el vendedorVendedor de 3 estrellasCondición: Nuevo
EUR 17,00
Envío por EUR 90,00Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponible
Rústica. Condición: New. Estado de la sobrecubierta: Nuevo. 01. p El príncipe encantado ha resultado ser un sapo bocachancla y la princesita está en trámite de comprarse un Kalàixnikov automático? No te preocupes, abre este libro por cualquier página y encontrarás ese consejo para ser mucho más felices juntos. /p. LIBRO.…
- Tapa blanda
Librería: Antiquariaat A. Kok & Zn. B.V., Amsterdam, HolandaAntiquariaat A. Kok & Zn. B.V.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 27,50
Envío por EUR 28,27Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoAmst., [1974]. 44 pp. Orig. wrappers, partly discol. 20 loose col. plts. - Original cloth portfolio missing.English text edition. Translation by B. ter Brake, R. Neth & E.N. ter Brake.
Editorial: 's Gravenhage Nijhoff, 1874
Librería: Antiquariat C. Hoffmeister, Wolfenbüttel, AlemaniaAntiquariat C. Hoffmeister
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 36,00
Envío por EUR 45,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoGr.-8vo. XX, 26 S. Ohne Umschlag, etwas fleckig u. lädiert. 0,400 gr.

- Tapa dura
Librería: Frans Melk Antiquariaat, HILVERSUM, HolandaFrans Melk Antiquariaat
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 25,00
Envío por EUR 68,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoAmsterdam, G. Kolff & Co. 1974. 32,5 x 41,5 cm. In linnen gebonden met besch. stofomslag. Hardcover. 60 tekstpag. + 20 losse kleurenplaten in map achterin. GOED EXEMPLAAR [Art / Dutch art general [Algemene Nederlandse Kunst] Maritiem / Maritime History [Scheepvaartgeschiedenis] ].

- Tapa blanda
Librería: Frans Melk Antiquariaat, HILVERSUM, HolandaFrans Melk Antiquariaat
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 30,00
Envío por EUR 68,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoAmsterdam, G. Kolff & Co. 1974. 32,5 x 41,5 cm. In linnen gebonden met beschadigde stofomslag. Hardcover. 60 tekstpag. + 20 losse kleurenplaten in map achterin + English translation, Softcover: Omslag is beschadigd; boek zelf is in uitstekende staat. [Art / Dutch art general [Algemene Nederlandse Kunst] Maritiem / Maritime History [Scheepvaartgeschiedenis] ].…
Más imágenes- Tapa dura
- Impresión bajo demanda
Librería: Gyan Books Pvt. Ltd., Delhi, IndiaGyan Books Pvt. Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 30,57
Gastos de envío gratisSe envía de India a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoLeather Bound. Condición: New. Language: Dutch_Flemish. Language: Dutch_Flemish. Presenting an Exquisite Leather-Bound Edition, expertly crafted with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2024, utilizing the invaluable guidance of the original edition published many years ago in 1833. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - Dutch_Flemish, Pages: - 372, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 372 372. …
Más imágenes- Tapa dura
- Impresión bajo demanda
Librería: Gyan Books Pvt. Ltd., Delhi, IndiaGyan Books Pvt. Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,68
Gastos de envío gratisSe envía de India a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoLeather Bound. Condición: New. Presenting an Exquisite Leather-Bound Edition, expertly crafted with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2025, utilizing the invaluable guidance of the original edition published many years ago in 1884. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Pages:- 160, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 160 160.…