Order Total (1 Item Items):
Shipping Destination:
Bjorner (551 results)
Author:
bjorner
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (551)
- 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
Collectible Attributes
Language (5)
Free Shipping
Seller Location
Seller Rating
-
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science 428)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 580 pp., Paperback, ex library, else text clean & binding tight. - 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.
-
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice 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.
-
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good.
-
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.
-
hardcover. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Soft cover. Condition: Very Good. Trade paperback in very good condition.
-
Formal description of programming concepts--II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 Bjorner, Dines, editor.
Language: English
Published by New York: North-Holland Publishing Company, 1983
ISBN 10: 0444866191 ISBN 13: 9780444866196
Condition: Used: Good. former library 1983 hc no dj withdrawn stamp in book/ on edge of pages clean text 455 pages/// I-11.
-
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Language: English
Published by Springer-Verlag, Berlin, 1993
ISBN 10: 038757316X ISBN 13: 9780387573168
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Paperback. Condition: Very Good. 0387100075 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes,
Language: English
Published by Elsevier Science Ltd, 1988
ISBN 10: 0444704914 ISBN 13: 9780444704917
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540525130 ISBN 13: 9783540525134
Softcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Description of Programming Concepts: 2nd: Conference Proceedings
Language: English
Published by Elsevier Science Ltd, 1983
ISBN 10: 0444866191 ISBN 13: 9780444866196
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1983. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1983. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Softcover. Condition: Bon. Légères traces d'usure sur la couverture. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Slight signs of wear on the cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Tidslider. Dikter.
Seller: Versandantiquariat Ingo Lutter, Buchholz, Germany
Seller rating 4 out of 5 stars
Buch hat leichte Gebrauchs spuren ( Lese spuren ) Kanten leicht bestoßen 132 22cm Hardcover Schwedisch 350g.
-
Configuration Spaces Geometry, Combinatorics and Topology
Language: English
Published by Edizioni Della Normale, 2012
ISBN 10: 887642430X ISBN 13: 9788876424304
Seller: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Text clean and tight; Publications Of The Scuola Normale Superiore, 14; 8vo 8" - 9" tall; 558 pages.
-
Perspectives of System Informatics. Lecture Notes in Computer Science, Volume 1181
Published by Springer, 1996
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 446 pp., softcover, handstamp to front free endpaper, else 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.
-
Taschenbuch. Condition: Gut. 404 Seiten Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
-
-
-
Configuration Spaces : Geometry, Combinatorics and Topology
Language: English
Published by Edizioni della Normale, 2012
ISBN 10: 887642430X ISBN 13: 9788876424304
Condition: New.
-
Configuration Spaces (Paperback)
Language: English
Published by Birkhauser Verlag AG, Pisa, 2012
ISBN 10: 887642430X ISBN 13: 9788876424304
Paperback. Condition: new. Paperback. These proceedings contain the contributions of some of the participants in the "intensive research period" held at the De Giorgi Research Center in Pisa, during the period May-June 2010. The central theme of this research period was the study of configuration spaces from various points of view. This topic originated from the intersection of several classical theories: Braid groups and related topics, configurations of vectors (of great importance in Lie theory and representation theory), arrangements of hyperplanes and of subspaces, combinatorics, singularity theory. Recently, however, configuration spaces have acquired independent interest and indeed the contributions in this volume go far beyond the above subjects, making it attractive to a large audience of mathematicians. These proceedings contain the contributions of some of the participants in the "intensive research period" held at the De Giorgi Research Center in Pisa, during the period May-June 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Oriented Matroids (Encyclopedia of Mathematics and Its Applications) (Volume 46)
Book 33 of 188: Encyclopedia of Mathematics and its ApplicationsLanguage: English
Published by Cambridge University Press, 1993
ISBN 10: 0521418364 ISBN 13: 9780521418362
US$ 26.44
US$ 18.01 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Fair. Volume 46. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:0521418364.
-
Ann Hamilton: lignum (English and Swedish Edition)
First Edition
Hardcover. Condition: Fine. 1st Edition. Clothbound hardcover, 160 pgs. CD included. Fine.
-
Abstract software specifications: 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings. Lecture notes in computer science ; Vol. 86
Language: English
Published by Berlin, Heidelberg, New York : Springer, 1980
ISBN 10: 3540100075 ISBN 13: 9783540100072
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. XI, 566 S. : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 960.
-
Perspectives of System Informatics. 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 5 out of 5 stars
XIII, 548 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2244. Sprache: Englisch.
