Spin j j (20 Ergebnisse)

- Softcover
Anbieter: Hamelyn, Madrid, M, SpanienHamelyn
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 10,70
EUR 8,99 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
Zustand: 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.…

- Softcover
Anbieter: KALAMO BOOKS, Burriana, CS, SpanienKALAMO BOOKS
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 16,99
EUR 19,86 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
Zustand: New.

Verlag: Nowbar NYC Nightclub nd
Anbieter: ANARTIST, New York, NY, USAANARTIST
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 23,06
EUR 4,48 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbNightclub 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)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 64,13
EUR 2,36 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: 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)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,25
EUR 2,36 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.

The SPIN Verification System
Workshop On The Spin Verification System (1996 New Brunswick, N. J.); Gregoire, Jean-Charles; Holzmann, Gerard J.; Peled, Doron
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,60
EUR 6,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
HRD. Zustand: 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)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,79
EUR 17,93 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.

- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,84
EUR 14,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 69,03
EUR 17,93 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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.)
- Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,05
EUR 9,50 VersandVersand von Irland nach USAAnzahl: 1 verfügbar
Zustand: 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.)
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 97,04
EUR 9,40 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 105,46
EUR 13,40 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. In English.
- Hardcover
Anbieter: Antiquariaat A. Kok & Zn. B.V., Amsterdam, NiederlandeAntiquariaat A. Kok & Zn. B.V.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 22,00
EUR 28,27 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbAmst., 1974. 60 pages text. 20 loose coloured plates in rear pocket. Hardcover. Sm. folio. Oblong.Dutch text edition.

- Softcover
Anbieter: Librerias Prometeo y Proteo, malaga, MA, SpanienLibrerias Prometeo y Proteo
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Neu
EUR 17,00
EUR 90,00 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
Rústica. Zustand: New. Zustand des Schutzumschlags: 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.…
- Softcover
Anbieter: Antiquariaat A. Kok & Zn. B.V., Amsterdam, NiederlandeAntiquariaat A. Kok & Zn. B.V.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 27,50
EUR 28,27 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbAmst., [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.
Verlag: 's Gravenhage Nijhoff, 1874
Anbieter: Antiquariat C. Hoffmeister, Wolfenbüttel, DeutschlandAntiquariat C. Hoffmeister
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht
EUR 36,00
EUR 45,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbGr.-8vo. XX, 26 S. Ohne Umschlag, etwas fleckig u. lädiert. 0,400 gr.

- Hardcover
Anbieter: Frans Melk Antiquariaat, HILVERSUM, NiederlandeFrans Melk Antiquariaat
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 25,00
EUR 68,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbAmsterdam, 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] ].

- Softcover
Anbieter: Frans Melk Antiquariaat, HILVERSUM, NiederlandeFrans Melk Antiquariaat
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 30,00
EUR 68,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbAmsterdam, 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] ].…
Weitere Bilder- Hardcover
- Print-on-Demand
Anbieter: Gyan Books Pvt. Ltd., Delhi, IndienGyan Books Pvt. Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 30,36
Versand gratisVersand von Indien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbLeather Bound. Zustand: 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. …
Weitere Bilder- Hardcover
- Print-on-Demand
Anbieter: Gyan Books Pvt. Ltd., Delhi, IndienGyan Books Pvt. Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,24
Versand gratisVersand von Indien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbLeather Bound. Zustand: 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.…