Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book
Condition: New. In.
Published by Springer 2008-01-08, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Chiron Media, Wallingford, United Kingdom
Book
Paperback. Condition: New.
Published by Springer London Ltd, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Book
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Brook Bookstore, Milano, MI, Italy
Book
Condition: new.
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 1st edition. 216 pages. 9.00x6.00x0.25 inches. In Stock.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. . 2008. 2008th Edition. Paperback. . . . .
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Monster Bookshop, Fleckney, United Kingdom
Book
Paperback. Condition: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 0.75.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 0.75.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 0.75.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition. 0.75.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. . 2008. 2008th Edition. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Studibuch, Stuttgart, Germany
Book
paperback. Condition: Gut. 232 Seiten; 9781846287695.3 Sprache: Deutsch Gewicht in Gramm: 1.
Published by Springer London 2008-01-08, New York |London, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Blackwell's, London, United Kingdom
Book
paperback. Condition: New. Language: ENG.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Book
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 2008-01, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, England, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: CitiRetail, Stevenage, United Kingdom
Book First Edition
Paperback. Condition: new. Paperback. This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website. Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by Springer London Ltd Jan 2008, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website. 220 pp. Englisch.
Published by Springer London, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: moluna, Greven, Germany
Book
Condition: New. First introductory textbook on SpinIncludes complete programs which will demonstrate construct and concept available on a companion websitePromela and Spin are presented in a graduated manner, to facilitate easy learningThis is .
Published by Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 236.
Published by Springer Nature Singapore, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism.Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.