Rner dines (25 Ergebnisse)
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 24.99 - 28, 1996; Proceedings (Lecture Notes in Computer Science)
Bjørner, Dines [Editor]; Broy, Manfred [Editor]; Pottosin, Igor V. [Editor];
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 6,76
EUR 6,09 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
Bj�¸rner, Dines [Editor]; Jones, Cliff [Editor]; Mac An Airchinnigh, Michael [Editor]; Neuhold, Erich [Editor];
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 18,63
EUR 6,09 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 37,72
EUR 3,92 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. 472 pp., paperback, brand new! still in shrink wrap. - 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.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes KönigreichBetter World Books Ltd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 44,61
EUR 5,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Sprache: Englisch
Verlag: Springer, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 40,51
EUR 12,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,93
Versand nach gratisVersand innerhalb von USAAnzahl: 5 verfügbar
Paperback or Softback. Zustand: New. Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding. Book.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 24 von 45. Buch 24 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes KönigreichBetter World Books Ltd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 57,25
EUR 5,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: Very Good. 2006th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Sprache: Englisch
Verlag: Springer, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 58,85
EUR 7,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 808 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Sprache: Englisch
Verlag: Springer, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 64,19
EUR 3,48 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Used. pp. 808.
Sprache: Englisch
Verlag: Springer, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 60,85
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 808.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2007
- Hardcover
- Erstausgabe
Anbieter: bmyguest books, Toronto, ON, Kanadabmyguest books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 59,23
EUR 13,07 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. 1st Edition. In Very Good Condition, Clean With No Remainder Mark. 623 Pages With No Index, Hardcover. Text Book Binding.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.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 89,87
EUR 3,48 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 806.
Sprache: Englisch
Verlag: Springer, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 24 von 45. Buch 24 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 127,67
EUR 3,48 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. pp. xxx + 766 1st Edition.
Sprache: Englisch
Verlag: Springer, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 24 von 45. Buch 24 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 129,02
EUR 7,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. xxx + 766.
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 231,61
EUR 10,50 VersandVersand von Irland nach USAAnzahl: 15 verfügbar
Zustand: New.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 292,54
EUR 9,15 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Verlag: Tsinghua University Press, 2000
- Softcover
Anbieter: liu xing, Nanjing, JS, Chinaliu xing
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,81
EUR 15,69 VersandVersand von China nach USAAnzahl: 10 verfügbar
paperback. Zustand: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 646 Publisher: Tsinghua University Press Pub. Date: 2010 -01. software engineering. Volume 1 ~ 3 is the von Neumann Medal. the world-famous computer scientist. Professor Dines BjOrner lat…est 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. This seriesFour Satisfaction guaranteed,or money back.
Verlag: Tsinghua University Press Pub. Date :2010-01, 2000
- Softcover
Anbieter: liu xing, Nanjing, JS, Chinaliu xing
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,81
EUR 15,69 VersandVersand von China nach USAAnzahl: 10 verfügbar
paperback. Zustand: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 590 Publisher: Tsinghua University Press Pub. Date :2010-01. software engineering. Volume 1 ~ 3 is the von Neumann Medal. the world-famous computer scientist. Professor Dines Bjorner s la…test 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. Software Engineering Volume 3: area. demand and software design. describes the overall software development. basic principles and techniques: from the description field. through the needs analysis. until the software design. This volume advocates a new software engineering development model: the demand to be formalized before. one must understand the applications. so this volume introduces the principles and techniques described in the field. and then describes the model derived from field theory and technology needs rules Finally introduce detailed requirements to software design principles and technology: architecture and component design. 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. The series. a notable featureFour Satisfaction guaranteed,or money back.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 81,59
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 604.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,71
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 472.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 88,57
EUR 7,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 806 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 23 von 45. Buch 23 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 90,22
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 806.
Sprache: Englisch
Verlag: Springer, 2006
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 24 von 45. Buch 24 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 164,13
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. xxx + 766.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 232,90
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 650.
- Hardcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 237,96
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 652.
