Paperback. Condition: Very Good. We are unable to ship to Canada at this time.0387513051 Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540159886 ISBN 13: 9783540159889
Language: English
Seller: Ammareal, Morangis, France
Softcover. Condition: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: NEPO UG, Rüsselsheim am Main, Germany
Taschenbuch. Condition: Gut. 152 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag 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.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Condition: New. In.
PF. Condition: New.
PF. Condition: New.
Condition: New. pp. 436.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Condition: new.
PF. Condition: New.
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540159886 ISBN 13: 9783540159889
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Trace theory.- A program notation.- Finite state machines.- VLSI design.- An implementation strategy.- On what we have rejected.- Epilogue.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540513051 ISBN 13: 9783540513056
Language: English
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540513051 ISBN 13: 9783540513056
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned specifically with imperative programming, the application of mathematical methodologies is now established as an essential part of all programming paradigms - functional, logic and object-oriented programming, modularity and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi for the specification of sequential and concurrent programs, program transformation and analysis methodologies, and formal inference systems for the construction and analysis of programs. The mathematics of specification, implementation and analysis have become indispensable tools for practical programming.
Published by Springer-Verlag GmbH, 1985
ISBN 10: 3540159886 ISBN 13: 9783540159889
Language: English
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Trace Theory and VLSI Design | Jan L. A. van de Snepscheut | Taschenbuch | vi | Englisch | 1985 | Springer-Verlag GmbH | EAN 9783540159889 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Published by Springer-Verlag GmbH, 1989
ISBN 10: 3540513051 ISBN 13: 9783540513056
Language: English
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Mathematics of Program Construction | 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings | Jan L. A. van de Snepscheut | Taschenbuch | xii | Englisch | 1989 | Springer-Verlag GmbH | EAN 9783540513056 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Condition: New. pp. 496.
Condition: New.
Seller: BennettBooksLtd, San Diego, NV, U.S.A.
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Taschenbuch. Condition: Sehr gut. 420 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag 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.
Condition: New. pp. 152.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. reprint edition. 490 pages. 9.25x6.10x1.10 inches. In Stock.
Taschenbuch. Condition: Neu. What Computing Is All About | Jan L. A. van de Snepscheut | Taschenbuch | XII | Englisch | 2011 | Springer | EAN 9781461276395 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Published by Springer New York, Springer US Sep 2011, 2011
ISBN 10: 146127639X ISBN 13: 9781461276395
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -I have always been fascinated with engineering. From Roman bridges and jumbo jets to steam engines and CD players, it is the privilege of the en gineer to combine scientific insights and technical possibilities into useful and elegant products. Engineers get a great deal of satisfaction from the usefulness and beauty of their designs. Some of these designs have a major impact on our daily lives, others enable further scientific insights or shift limits of technology. The successful engineer is familiar with the scientific basis of the field and the technology of the components, and has an eye for the envisioned applications. For example, to build an airplane, one had better understand the physics of motion, the structural properties of alu minum, and the size of passengers. And the physics of motion requires a mastery of mathematics, in particular calculus. Computers are a marvel of modern engineering. They come in a wide variety and their range of applications seems endless. One of the charac teristics that makes computers different from other engineering products is their programmability. Dishwashers have some limited programming capa is not the key part of the device. Their essential part is some bility, but it enclosed space where the dishes are stored and flushed with hot water. Computers are embedded in many different environments, but in their case the programming capability is the essential part. All computers are programmed in more or less the same way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.
Published by Springer New York, Springer US, 2011
ISBN 10: 146127639X ISBN 13: 9781461276395
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - I have always been fascinated with engineering. From Roman bridges and jumbo jets to steam engines and CD players, it is the privilege of the en gineer to combine scientific insights and technical possibilities into useful and elegant products. Engineers get a great deal of satisfaction from the usefulness and beauty of their designs. Some of these designs have a major impact on our daily lives, others enable further scientific insights or shift limits of technology. The successful engineer is familiar with the scientific basis of the field and the technology of the components, and has an eye for the envisioned applications. For example, to build an airplane, one had better understand the physics of motion, the structural properties of alu minum, and the size of passengers. And the physics of motion requires a mastery of mathematics, in particular calculus. Computers are a marvel of modern engineering. They come in a wide variety and their range of applications seems endless. One of the charac teristics that makes computers different from other engineering products is their programmability. Dishwashers have some limited programming capa is not the key part of the device. Their essential part is some bility, but it enclosed space where the dishes are stored and flushed with hot water. Computers are embedded in many different environments, but in their case the programming capability is the essential part. All computers are programmed in more or less the same way.