Broy manfred wirsing (13 Ergebnisse)
- Weitere Bilder
Methods of programming : selected papers on the CIP project. Lecture notes in computer science ; 544
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
- Softcover
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschlandbooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 18,95
EUR 15,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Broschiert. Zustand: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.
- Softcover
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 39,05
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped… with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,16
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,50
EUR 18,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,39
EUR 62,21 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under the heading CIP (C…omputer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development.The collection of papers in this volume presents examples ofa formal approach to programming language concepts andprogram development based on algebraic specifications andprogram transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom specifications.The volume is dedicated to Prof. F.L. Bauer.
- Weitere Bilder
- Softcover
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschlandralfs-buecherkiste
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 19,00
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Gut. 268 Seiten Guter Zustand/ Good Ex-Library. ha1033731 Sprache: Englisch Gewicht in Gramm: 400.
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science (544))
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 127,63
EUR 29,23 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 165,38
EUR 6,03 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 165,38
EUR 6,03 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
- Weitere Bilder
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under th…e heading CIP (Computer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development.The collection of papers in this volume presents examples ofa formal approach to programming language concepts andprogram development based on algebraic specifications andprogram transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom specifications.The volume is dedicated to Prof. F.L. Bauer. 288 pp. Englisch.
- Weitere Bilder
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing s…cience.Under the head.
- Weitere Bilder
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is a collection of papers presenting work based on the ideas of the CIP project. The CIP project proposed a formal approach to programming language concepts and program development based on algebraic specifications and program… transformations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 288 pp. Englisch.
- Weitere Bilder
- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Methods of Programming | Selected Papers on the CIP-Project | Manfred Broy (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540545767 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: prei…gu Print on Demand.
