Dennis Dams (31 results)
- More images
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
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 50.94
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
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
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.91
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- More images
Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-paul De Roever
Dams, Dennis (EDT); Hannemann, Ulrich (EDT); Steffen, Martin (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.30
£ 1.99 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
- More images
Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-paul De Roever
Dams, Dennis (EDT); Hannemann, Ulrich (EDT); Steffen, Martin (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 57.49
£ 1.99 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 59.54
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: 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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.71
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- More images
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
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.19
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- More images
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
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 68.34
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 375 pages. 9.50x6.25x1.00 inches. In Stock.
- More images
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.69
£ 41.98 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 51.54
£ 53.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 68.88
£ 53.81 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 t…o 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.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 128.36
£ 3.00 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 840.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 130.20
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 840 Illus.
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 84.08
£ 59.99 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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, j…uergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 54.57
£ 89.98 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 377 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 133.75
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- More images
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 104.72
£ 41.98 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. 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 Secon.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 136.45
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 820 pages. 9.00x6.10x1.30 inches. In Stock.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 102.63
£ 56.83 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.
- Softcover
- International Edition
Seller: UK BOOKS STORE, London, LONDO, United KingdomUK BOOKS STORE
Contact seller5-star sellerInternational EditionCondition: Used
£ 194.80
Free ShippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New Books. 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 6-10 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.
- More images
- Softcover
Seller: Houtman Boeken, Utrecht, NetherlandsHoutman Boeken
Contact seller5-star sellerCondition: Used - Fine
£ 20.25
£ 25.67 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basketCondition: fine. 109pp. Nette paperback.
- Softcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 52.99
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Softcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 86.21
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- More images
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 43.02
£ 41.98 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 .
- More images
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 66.11
£ 19.71 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 292 pp. Englisch.
- More images
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.21
£ 51.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 292 pp. Englisch.
- More images
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.36
£ 59.99 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. 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 | Dennis Dams (u. a.) | Taschenbuch | x | Englisch | 1999 | Springer | EAN 9783540664994 | Verantwortliche Person…für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- More images
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 94.44
£ 19.71 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 fir…st 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. 820 pp. Englisch.
