Gesamtpreis (1 Artikel Artikel):
Versandziel:
BJORNER DINES (253 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (253)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (207)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (27)
- Gut oder Befriedigend (16)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (102)
- Keine Print-on-Demand Angebote (180)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
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)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
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)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 24.99 - 28, 1996; Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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.
Sprache: Englisch
Verlag: Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Erstausgabe
Paperback. Zustand: Very Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.
-
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))
Anbieter: Lowry's Books, Three Rivers, MI, USA
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. This book is in very good condition with tight binding and clean text. Size: 8vo - over 7¾" - 9¾" tall.
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,98
EUR 10,97 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Zustand des Schutzumschlags: 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.
-
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.
Sprache: Englisch
Verlag: New York: North-Holland Publishing Company, 1983
ISBN 10: 0444866191 ISBN 13: 9780444866196
Anbieter: CONTINENTAL MEDIA & BEYOND, Ocala, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used: Good. former library 1983 hc no dj withdrawn stamp in book/ on edge of pages clean text 455 pages/// I-11.
-
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Buch 23 von 45: Texts in Theoretical Computer Science. An EATCSSonderangebotEUR 2,70
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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.
-
Sonderangebot
EUR 5,84
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540525130 ISBN 13: 9783540525134
SonderangebotEUR 5,84
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: 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.
-
Sonderangebot
EUR 5,84
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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.
-
Perspectives of System Informatics. Lecture Notes in Computer Science, Volume 1181
Verlag: Springer, 1996
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Software Engineering 2
Buch 23 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Software Engineering 2 (Hb)
Buch 23 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. 038757316X Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Description of Programming Concepts: 2nd: Conference Proceedings
Sprache: Englisch
Verlag: Elsevier Science Ltd 01.05.1983., 1983
ISBN 10: 0444866191 ISBN 13: 9780444866196
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebundene Ausgabe. Zustand: Gut. 468 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 550.
-
The Vienna development method. - The meta-language. ed. by D. Børner and C. B. Jones. (= Lecture Notes in Computer Science, 61).
Sprache: Englisch
Verlag: Berlin - Heidelberg - New York, Springer,, 1978
ISBN 10: 3540087664 ISBN 13: 9783540087663
Anbieter: COTTAGE Antiquariat - anbu.at, Langenzersdorf, Österreich
Verkäuferbewertung 5 von 5 Sternen
Gr.-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.
-
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, . Papers (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Logics of Specification Languages
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2007
ISBN 10: 3540741062 ISBN 13: 9783540741060
Anbieter: bmyguest books, Toronto, ON, Kanada
Verkäuferbewertung 3 von 5 Sternen
Erstausgabe
Hardcover. Zustand: 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.
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Buch 23 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Buch 23 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; ... (Lecture Notes in Computer Science, 1181)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,75
EUR 3,41 shipping
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,75
EUR 3,41 shipping
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science, 252)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,75
EUR 3,41 shipping
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Vdm '90. Vdm and Z - Formal Methods in Software Development : Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
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)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,01
EUR 3,41 shipping
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Buch 23 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,22
EUR 3,41 shipping
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
