Order Total (1 Item Items):
Shipping Destination:
Majumdar Rupak (105 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (105)
- Magazines & Periodicals (No further results match this refinement)
- 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 (No further results match this refinement)
Condition Learn more
- New (90)
- As New, Fine or Near Fine (14)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (105)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (59)
- Not Print on Demand (77)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science 5156)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 343 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
-
-
-
Runtime Verification : 6th International Conference, Rv 2015
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Computer Aided Verification : 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New.
-
-
-
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
-
Condition: New. pp. 508.
-
Networked Systems : 8th International Co
Book 259 of 300: Lecture Notes in Computer ScienceSeller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Computer Aided Verification
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Computer Aided Verification : 29th Inter
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Runtime Verification : 6th International Conference, Rv 2015
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Computer Aided Verification : 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Networked Systems : 8th International Conference, Netys 2020, Marrakech, Morocco, June 3?5, 2020, Proceedings
Book 259 of 300: Lecture Notes in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Networked Systems : 8th International Conference, Netys 2020, Marrakech, Morocco, June 3?5, 2020, Proceedings
Book 259 of 300: Lecture Notes in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems : 16th Internationa Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems : 16th Internationa Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, USA, August 10-12, 2008 Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 3540851135 ISBN 13: 9783540851134
Paperback. Condition: Brand New. 2008 edition. 342 pages. 9.50x6.25x0.50 inches. In Stock.
-
Networked Systems: 8th International Conference, Netys 2020, Marrakech, Morocco, June 35, 2020, Proceedings
Book 259 of 300: Lecture Notes in Computer ScienceLanguage: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 3030670864 ISBN 13: 9783030670863
Paperback. Condition: Brand New. 400 pages. 9.25x6.10x0.83 inches. In Stock.
-
-
Runtime Verification: 6th International Conference, Rv 2015
Language: English
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3319238191 ISBN 13: 9783319238197
Paperback. Condition: Brand New. 451 pages. 9.30x6.20x1.02 inches. In Stock.
