Order Total (1 Item Items):
Shipping Destination:
Dines Bjorner (220 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (220)
- 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 (177)
- As New, Fine or Near Fine (24)
- Very Good or Good (16)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (79)
- Not Print on Demand (173)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
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.
More buying choices from other sellers on AbeBooks
New offers from £ 38.14
Used offers from £ 9.36
Also find Hardcover
-
Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes,
Published by Elsevier Science Ltd, 1988
ISBN 10: 0444704914 ISBN 13: 9780444704917
Language: English
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
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540525130 ISBN 13: 9783540525134
Language: English
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.
More buying choices from other sellers on AbeBooks
New offers from £ 49.13
Used offers from £ 9.36
Also find Softcover
-
Formal Description of Programming Concepts: 2nd: Conference Proceedings
Published by Elsevier Science Ltd, 1983
ISBN 10: 0444866191 ISBN 13: 9780444866196
Language: English
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.
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Published by Springer-Verlag, Berlin, 1993
ISBN 10: 038757316X ISBN 13: 9780387573168
Language: English
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.
More buying choices from other sellers on AbeBooks
New offers from £ 86.20
Used offers from £ 10.21
Also find Softcover
-
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
£ 8.05
Convert currency£ 10.42 shipping from Germany to United KingdomQuantity: 1 available
Add to basketXIII, 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.
More buying choices from other sellers on AbeBooks
New offers from £ 49.12
Used offers from £ 18.47
Also find Softcover
-
The Vienna development method. - The meta-language. ed. by D. Børner and C. B. Jones. (= Lecture Notes in Computer Science, 61).
Published by Berlin - Heidelberg - New York, Springer,, 1978
ISBN 10: 3540087664 ISBN 13: 9783540087663
Language: English
Seller: COTTAGE Antiquariat - anbu.at, Langenzersdorf, Austria
Seller rating 5 out of 5 stars
£ 13.77
Convert currency£ 16.93 shipping from Austria to United KingdomQuantity: 1 available
Add to basketGr.-8°, Original-Broschur. XV, 382 S. ; 25 cm Etwas leseschief, an Ecken und Kanten bestossen, am Fußschnitt Stoßspur mit Farbabrieb, Schnitte etwas unfrisch. Innen papierbedingt gegilbt, sonst sauber. Solides, textsauberes und gut brauchbares Exemplar. Etwas (keller)-muffig. - In englischer Sprache. IS: 3540087664 ****An unsere Kunden in Deutschland: Versand nach Deutschland einmal in der Woche ab Freilassing mit der Deutschen Post.*** - Sprache: Englisch Gewicht in Gramm: 650.
-
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
New offers from £ 50.46
Used offers from £ 36.61
Also find Softcover
-
Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.
Published by Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Language: English
First Edition
£ 7.60
Convert currency£ 34.68 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.
More buying choices from other sellers on AbeBooks
New offers from £ 49.13
Used offers from £ 42.28
Also find Softcover First Edition
-
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
£ 10.88
Convert currency£ 13.28 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: 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.
-
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; ... (Lecture Notes in Computer Science, 1181)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 49.13
Used offers from £ 61.26
Also find Softcover
-
Software Engineering 2 : Specification of Systems and Languages
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642059406 ISBN 13: 9783642059407
Language: English
£ 47.84
Convert currency£ 12.15 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1of this series is a prerequisite text.
-
Logics of Specification Languages
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2007
ISBN 10: 3540741062 ISBN 13: 9783540741060
Language: English
First Edition
£ 36.43
Convert currency£ 26.19 shipping from Canada to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Very Good. 1st Edition. In Very Good Condition, Clean With No Remainder Mark. 623 Pages With No Index, Hardcover. Text Book Binding.books are NOT signed. We will state signed at the description section. we confirm they are signed via email or stated in the description box. - Specializing in academic, collectiblle and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.
More buying choices from other sellers on AbeBooks
New offers from £ 134.12
Used offers from £ 62.62
Also find Hardcover Softcover First Edition
-
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 79.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
abstraction and modeling - Software Engineering - Volume 1
Published by Tsinghua University Press, 2000
ISBN 10: 7302208905 ISBN 13: 9787302208907
Language: English
£ 75.16
Convert currency£ 11.07 shipping from China to United KingdomQuantity: 10 available
Add to basketpaperback. Condition: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 37568 Publisher: Tsinghua University Press Pub. Date :2010-01. Software Engineering Volume 1 ~ 3 is the von Neumann Medal. the world s leading computer scientist Dines Bjorner Professor s latest book. This series for readers to understand software and software development process provides a whole new perspective. This three-volume book first systematic exposition of how to use formal methods to guide the field of engineering. requirements engineering and software design. software engineering that three interrelated and overlapping components. or software engineering known as the trilogy . In all stages of software development. if we can use this formal pattern of development. will be able to guarantee a great extent the correctness and effectiveness of software development. This series can be regarded as a landmark in the history of software engineering work. Authors 30 years of programming methodology of the study and practice. coupled with 25 years continuous improvement of lecture notes compiled this set of coherent. consistent and relatively complete software engineering books. This series is a notable feature in this three-volume book. all the principles. techniques and tools through a large number of case studies to be described. and covers all major software development period. the stage and steps; same time. these principles. techniques and tools can be used in large industrial and commercial software development projects go.Four Satisfaction guaranteed,or money back.
-
£ 65.85
Convert currency£ 22.87 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: new. New Copy. Customer Service Guaranteed.
More buying choices from other sellers on AbeBooks
New offers from £ 88.72
Used offers from £ 169
Also find Hardcover
-
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 94.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 94.13
Used offers from £ 122.31
Also find Softcover
-
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 97.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 83.17
Convert currency£ 22.12 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from £ 104.23
Used offers from £ 171
Also find Softcover
-
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 108.02
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
The Structure of Pure Reason (Hardcover)
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031833007 ISBN 13: 9783031833007
Language: English
Hardcover. Condition: new. Hardcover. This book explains how the idea of there being no ultimate, universal truth is in itself a contradictory philosophical position. Philosophers throughout history have tried to answer the question of what the deepest truth is about the world and our situation in it. They have put forward various philosophical systems, but none have won universal acceptance; and it is widely believed today that the time of philosophical systems is over. This book shows very concretely how to proceed in order to uncover the system of mutually defined basic concepts, which must be presupposed for any possible description of reality and any possible description of our situation as persons. Thus, in reigniting the discussion on philosophical systems, the author adds to the historical and contemporary discussions of Kants structure of pure reason. This book explains how the idea of there being no ultimate, universal truth is in itself a contradictory philosophical position. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
The Theory of the Finite State Syntax Directed Transductions & Flow-mode, Self-steering, Cellular Multiplier-summation Processor
Published by n.p. [1969], [Copenhagen], 1969
Seller: Expatriate Bookshop of Denmark, Svendborg, Denmark
Seller rating 5 out of 5 stars
£ 38
Convert currency£ 17.80 shipping from Denmark to United KingdomQuantity: 1 available
Add to basketorig.wrappers Rubbed. Light page-edge stain. Good. 22x13cm, (8),198,(44)p. Rubbed. Light page-edge stain. Good.
-
£ 127.28
Convert currencyFree shipping from Italy to United KingdomQuantity: 5 available
Add to basketCondition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 127.28
Used offers from £ 165.74
Also find Hardcover
-
£ 128.32
Convert currency£ 22.12 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from £ 143.48
Used offers from £ 199
Also find Softcover
-
Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 149.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Very Good. Very Good. book.
-
Condition: Like New. Like New. book.
-
Software Engineering 2: Specification of Systems and Languages
Published by Springer Nature (Sie), 2007
ISBN 10: 8181287851 ISBN 13: 9788181287854
Language: English
Paperback. Condition: Like New. Like New. book.
-
Paperback. Condition: Like New. Like New. book.
-
Towards a Formal Description of Ada
Published by Springer Berlin Heidelberg, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Language: English
£ 82.53
Convert currency£ 21.70 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The DDC Ada compiler development method.- A denotational (static) semantics method for defining Ada context conditions.- A formal semantics definition of sequential Ada.- Parallelism in Ada.- The design of a virtual machine for Ada.Inhaltsve.
