Order Total (1 Item Items):
Shipping Destination:
Bjorner Dines Editor (7 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (7)
- 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 (2)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (No further results match this refinement)
- Not Print on Demand (7)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.
Language: English
Published by Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
First Edition
Paperback. Condition: Very Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.
-
Paperback. Condition: Very Good. No Jacket. This book is in very good condition with tight binding and clean text. Size: 8vo - over 7¾" - 9¾" tall.
-
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Logics of Specification Languages (Monographs in Theoretical Computer Science : an Eatcs Series)
Language: English
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3642093450 ISBN 13: 9783642093456
Paperback. Condition: Brand New. 624 pages. 9.00x6.00x1.46 inches. In Stock.
-
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Language: English
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 3540741062 ISBN 13: 9783540741060
Hardcover. Condition: Brand New. 1st edition. 623 pages. 8.75x6.50x1.50 inches. In Stock.
