Importe total (1 artículo artículos):
Destino del pedido:
dams dennis (39 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (39)
- 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 (32)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (1)
- 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
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (39)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- 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 (19)
- No impresión bajo demanda (32)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Theoretical and Practical Aspects of SPIN Model Checking (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,13
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively.Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience. Increasing the designers con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,86
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science, 1680)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,73
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science, 5930)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,12
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,93
Envío por EUR 2,23
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.
-
Concurrency, Compositionality, and Correctness (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364211511X ISBN 13: 9783642115110
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,03
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspectivethatofwritersaddressinganaudienceofreadersyou are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third , and you have had a profound impact on our formation as computer scientists.Atthepersonallevel,weknowyouasakind-hearted,generousperson. We are grateful to know you in these ways, and hope to have encounters with you in many years to come. AnotherlikelypossibilityisthatyouareCorinneorJojanneke,wifeordau- ter of Willem; the two strong pillars on which so much in his life is founded. You share the honor,respect, and love that went into the writing, as will be ackno- edged by those contributing authors that know you which are almost all. Also, we would like to thank you for your help in sending us photographs for inclusion in this book, and for your encouragement. The next option is that you are one of the contributing authors. In this case you may wonder why it took us so long to get this work published. After all, wasntitalmostdonealreadyattheretirementeventinJuly2008?Theanswer is twofold: we gave everyone ample time to revise their submissions in line with the recommendations by the referees; and we ourselves took ample time to put everything together. Our hope is that this will be visible in the quality of the ?nal result. After all, wasntitalmostdonealreadyattheretirementeventinJuly2008?Theanswer is twofold: we gave everyone ample time to revise their submissions in line with the recommendations by the referees; and we ourselves took ample time to put everything together. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, . (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,36
Envío por EUR 5,90
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science, 1680)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,63
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, Se
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 56,73
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,69
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,12
Envío por EUR 17,32
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.
-
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-paul De Roever
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 364211511X ISBN 13: 9783642115110
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,46
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 375 pages. 9.50x6.25x1.00 inches. In Stock.
-
Theoretical and Practical Aspects of SPIN Model Checking
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Fm 2009: Formal Methods : Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 103,14
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
FM 2009: Formal Methods (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642050883 ISBN 13: 9783642050886
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 105,44
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. The following questions were used by our Programme Committee. th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, 5850)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 101,99
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Concurrency, Compositionality, and Correctness
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 364211511X ISBN 13: 9783642115110
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 63,03
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. 19 detailed papers by eminent scientists in the field of Concurrency, Compositionality and CorrectnessContains a detailed bibliography of the honoreeCloses with a gallery of photographsWhy would you read this preface? As we start thinking what to write .
-
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 62,23
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Fm 2009: Formal Methods : Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 120,36
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 111,66
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Auflage: 2009. 820 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1148 23,1 x 15,5 x 3,3 cm, Taschenbuch.
-
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, . (Lecture Notes in Computer Science, 1680)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 139,96
Envío por EUR 3,58
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
-
Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2010
ISBN 10: 364211511X ISBN 13: 9783642115110
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 78,02
Envío por EUR 62,79
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Why would you read this preface As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwritersaddressinganaudienceofreaders-you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti c ancestry, you are a father to two of us, and a grandfather to 1 the third , and you have had a profound impact on our formation as computer scientists.Atthepersonallevel,weknowyouasakind-hearted,generousperson. We are grateful to know you in these ways, and hope to have encounters with you in many years to come. AnotherlikelypossibilityisthatyouareCorinneorJojanneke,wifeordau- ter of Willem; the two strong pillars on which so much in his life is founded. You share the honor,respect, and love that went into the writing, as will be ackno- edged by those contributing authors that know you - which are almost all. Also, we would like to thank you for your help in sending us photographs for inclusion in this book, and for your encouragement. The next option is that you are one of the contributing authors. In this case you may wonder why it took us so long to get this work published. After all, wasn'tit'almostdone'alreadyattheretirementeventinJuly2008 Theanswer is twofold: we gave everyone ample time to revise their submissions in line with the recommendations by the referees; and we ourselves took ample time to put everything together. Our hope is that this will be visible in the quality of the nal result.
-
FM 2009
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 147,45
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 840.
-
Theoretical and Practical Aspects of SPIN Model Checking (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 122,99
Envío por EUR 31,21
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively.Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience. Increasing the designers con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,54
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 377 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, 5850)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,96
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
FM 2009: Formal Methods | Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 94,00
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. FM 2009: Formal Methods | Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings | Ana Cavalcanti (u. a.) | Taschenbuch | xvii | Englisch | 2009 | Springer | EAN 9783642050886 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Fm 2009: Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2009
ISBN 10: 3642050883 ISBN 13: 9783642050886
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 156,71
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 820 pages. 9.00x6.10x1.30 inches. In Stock.
-
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 114,85
Envío por EUR 66,32
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009.The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis, theorem proving, semantics, industrial applications, object-orientation, pointers, real-time, tools and industrial applications, and industry-day abstracts.
-
Edición internacionalFM 2009 FORMAL METHODS (PB 2009)
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 217,25
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
