Order Total (1 Item Items):
Shipping Destination:
Roscoe Bill (33 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (31)
- Magazines & Periodicals (1)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (1)
Condition Learn more
- New (27)
- As New, Fine or Near Fine (1)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (14)
- Not Print on Demand (21)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Condition: New.
-
Modelling and Analysis of Security Protocols
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Uptown Saturday Night One Sheet 1974 Sidney Poitier, Bill Cosby, rare!
Published by Warner Brothers, 1974
Soft cover. Condition: VG+. A VG or better original release folded 27 x 41 one sheet. Size: 27" x 41". Poster.
-
Revolution Within the Revolution: The First Amendment in Historical Context, 1612-1789
Language: English
Published by Wm. B. Eerdmans Publishing Company 1990-06-01, 1990
ISBN 10: 0802804586 ISBN 13: 9780802804587
US$ 29.16
US$ 21.22 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
-
Condition: New. Print on Demand.
-
US$ 52.68
US$ 21.22 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.45
US$ 16.41 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. PRINT ON DEMAND.
-
Fantasy Fiction Vol.1 No.1 May 1950 (She Said "Take Me If You Dare"; Strange Loves of Beatrice Jervan; Flaming Eye; President's Daughter; Benevolent Ghost & Capt. Lowrie; Moose That Talked; Speak to Me of Death; Treasure Accursed)
Published by New York: Magabook May 1950 First Edition Digest Magazine, New York, 1950
Magazine / Periodical First Edition
Soft cover. Condition: Very Good. 1st Edition. VG+ Light edgewear, otherwise a very attractive copy. Cover by Bill Stone.
-
Formal Methods: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
US$ 74.20
US$ 34.24 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock.
-
-
Formal Methods: Foundations and Applications
Language: English
Published by Springer International Publishing, Springer International Publishing Feb 2016, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.
-
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.
-
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 118.93
US$ 16.41 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 119.60
US$ 21.22 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 131.20
US$ 34.24 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
US$ 168.75
US$ 17.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.
-
Formal Methods
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Jul 2018, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.
-
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
-
The World's Greatest Athlete.
Published by [Hollywood, CA]: Walt Disney. 1972., 1972
Seller: Wittenborn Art Books, San Francisco, CA, U.S.A.
Seller rating 5 out of 5 stars
Manuscript / Paper Collectible
Condition: Good. 36 x 14 inches. Rolled Full Color Movie Poster, Very Good with Slight creasing. John Amos, Roscoe Lee Browne, Tim Conway, Dayle Haddon, and Jan-Michael Vincent.
-
Cisco Pike (Original photograph of Gene Hackman and Kris Kristofferson on the set of the 1972 film)
Published by N.p., N.p., 1972
Seller: Royal Books, Inc., ABAA, Baltimore, MD, U.S.A.
Seller rating 5 out of 5 stars
Vintage borderless reference photograph of Gene Hackman and Kris Kristofferson on the set of the 1972 film. An underrated gem of the New Hollywood era, following a former rock star who has become a drug dealer and subsequently a blackmail target for a corrupt cop. A moody and affecting film, alternating between humor and genuine tension, shot on location in Los Angeles in the wild and woolly early 1970s. Kristofferson's screen debut, and a show-stealing performance from Harry Dean Stanton (as usual). 8 x 10 inches. About Near Fine.
-
Formal Methods: Foundations and Applications
Language: English
Published by Springer International Publishing Feb 2016, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation. 216 pp. Englisch.
-
Formal Methods: Foundations and Applications
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and sele.
-
US$ 113.36
US$ 8.90 shipping
Ships from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 213.
-
Taschenbuch. Condition: Neu. Formal Methods: Foundations and Applications | 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings | Márcio Cornélio (u. a.) | Taschenbuch | xviii | Englisch | 2016 | Springer | EAN 9783319294728 | 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.
-
Formal Methods
Language: English
Published by Springer International Publishing Jul 2018, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. 708 pp. Englisch.
-
Condition: New. PRINT ON DEMAND pp. 213.
-
Formal Methods
Language: English
Published by Springer International Publishing, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
US$ 101.63
US$ 57.88 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully&nb.
