Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Spedizione gratuita
Paese del venditore
Valutazione venditore
Editore: Springer, 2005
ISBN 10: 3540272313ISBN 13: 9783540272311
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Libro
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Springer Berlin Heidelberg, 2005
ISBN 10: 3540272313ISBN 13: 9783540272311
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Libro
Paperback. Condizione: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
Editore: Springer-Verlag, New York, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Libro
Hardcover. Condizione: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2648. [viii, 239 p. : ill. ; 24 cm].
Editore: Springer, 2005
ISBN 10: 3540272313ISBN 13: 9783540272311
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Libro
Condizione: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Editore: Springer, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Libro
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Springer, 2005
ISBN 10: 3540272313ISBN 13: 9783540272311
Da: Irish Booksellers, Portland, ME, U.S.A.
Libro
Condizione: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Editore: Springer, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Irish Booksellers, Portland, ME, U.S.A.
Libro
Condizione: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Editore: Springer, New York, 2005
ISBN 10: 3540272313ISBN 13: 9783540272311
Da: Alien Bindings, BALTIMORE, MD, U.S.A.
Libro Prima edizione
Softcover. Condizione: As New. No Jacket. First Edition. The covers look great. The binding is tight. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge.
Editore: Springer, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer Nature B.V., 2014
ISBN 10: 3662194821ISBN 13: 9783662194829
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Libro Print on Demand
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Editore: Springer, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2010
ISBN 10: 364215056XISBN 13: 9783642150562
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, New York, 2005
ISBN 10: 3540272313ISBN 13: 9783540272311
Da: Alien Bindings, BALTIMORE, MD, U.S.A.
Libro Prima edizione
Softcover. Condizione: Very Good. No Jacket. First Edition. There is light edge wear and creases to the corners, otherwise the covers look great. The binding is tight. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge.
Editore: Springer, 2014
ISBN 10: 3662194821ISBN 13: 9783662194829
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro
Condizione: New. In.
Editore: Springer, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. 256.
Editore: Springer Berlin Heidelberg 2010-08-05, Berlin, 2010
ISBN 10: 364215056XISBN 13: 9783642150562
Da: Blackwell's, London, Regno Unito
Libro
paperback. Condizione: New. Language: ENG.
Editore: Springer, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely appliedsystems. 260 pp. Englisch.
Editore: Springer, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Majestic Books, Hounslow, Regno Unito
Libro
Condizione: New. pp. 256 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Editore: Springer-Verlag New York Inc, 2010
ISBN 10: 364215056XISBN 13: 9783642150562
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 1st edition. 227 pages. 9.00x6.10x0.50 inches. In Stock.
Editore: Springer-Verlag New York Inc, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 1st edition. 241 pages. 9.50x6.00x0.75 inches. In Stock.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condizione: New. Constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. This book presents the results on the analysis and verification of distributed software systems using the SPIN model checker. Editor(s): Ball, Thomas; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science. Num Pages: 249 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 13. Weight in Grams: 364. . 2003. Paperback. . . . .
Editore: Springer Nature B.V., 2014
ISBN 10: 3662194821ISBN 13: 9783662194829
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Libro Print on Demand
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Editore: Springer Berlin Heidelberg, 2008
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: getbooks GmbH, Bad Camberg, HE, Germania
Libro
Taschenbuch. Condizione: Gut. 256 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 821700.01 Sprache: Englisch Gewicht in Gramm: 363.
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely appliedsystems.
Editore: Springer 2003-04, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: moluna, Greven, Germania
Libro Print on Demand
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop.The 14 revised full papers and 3 .
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: Kennys Bookstore, Olney, MD, U.S.A.
Libro
Condizione: New. Constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. This book presents the results on the analysis and verification of distributed software systems using the SPIN model checker. Editor(s): Ball, Thomas; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science. Num Pages: 249 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 13. Weight in Grams: 364. . 2003. Paperback. . . . . Books ship from the US and Ireland.
Editore: Springer-Verlag GmbH, 2010
ISBN 10: 364215056XISBN 13: 9783642150562
Da: Buchpark, Trebbin, Germania
Libro
Condizione: Sehr gut. Zustand: Sehr gut - Neubindung, Buchecken und -kanten leicht angestoßen | ISBN/EAN: 364215056x[Sonstiges] | Sprache: Englisch.
Editore: Springer Berlin Heidelberg, 2005
ISBN 10: 3540272313ISBN 13: 9783540272311
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.