Kurt sieber (29 resultados)
Editorial: Altberliner Verlag Lucie Grosser, Berlin, 1956
- Tapa dura
Librería: Bücherpanorama am Johannisbad, Zwickau, AlemaniaBücherpanorama am Johannisbad
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Excelente
EUR 9,00
Envío por EUR 14,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHalbleinen. Condición: sehr Gut. Estado de la sobrecubierta: Sehr guter Schutzumschlag. S. 97. Ill. von Kurt Rübner. Einband und SU von Werner Kulle (ilustrador).
- Tapa dura
Librería: Better World Books Ltd, Dunfermline, Reino UnidoBetter World Books Ltd
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 33,16
Envío por EUR 5,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. 2nd. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa dura
Librería: Plurabelle Books Ltd, Cambridge, Reino UnidoPlurabelle Books Ltd
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: GIAQ
Condición: Usado - Bueno
EUR 28,91
Envío por EUR 14,04Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. Series: Wiley Teubner on Applicable Theory in Computer Science ix 230p glossy hardback, bibliography, index, some page edges show very faint irregularity, hardly visible, unused copy, almost as new, second edition Language: English.
Editorial: Oberlausitzer Kunstverlag, Ebersbach, 1956
- Tapa blanda
Librería: Akademische Buchhandlung Antiquariat, Freiberg, AlemaniaAkademische Buchhandlung Antiquariat
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: BOEV
Condición: Usado
OportunidadPrecio actual: EUR 11,25
Envío por EUR 17,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. geheftet im Querformat, Papier typisch nachgedunkelt, sonst sauber und gut.
Idioma: Alemán
Editorial: Dortmund: Hoesch AG, 1988
Librería: Kepler-Buchversand Huong Bach, Weil der Stadt, AlemaniaKepler-Buchversand Huong Bach
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 4,90
Envío por EUR 19,90Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito8° , Hardcover/Pappeinband. Condición: Gut. 300 S., Abb. Gebraucht: guter und sauberer Zustand. Sprache: Deutsch Gewicht in Gramm: 550.
Idioma: Inglés
Editorial: Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley, 1984
- Tapa dura
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, AlemaniaRoland Antiquariat UG haftungsbeschränkt
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 14,70
Envío por EUR 42,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. 230 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Dedication by the author. Retired library copy with corresponding marking. Otherwise, a neat copy. 9783519021018 Sprache: Englisch Gewicht in Gramm: 1000.
Idioma: Alemán
Editorial: Dortmund: Hoesch AG, 1988
Librería: DieBücheroma123, Prackenbach, AlemaniaDieBücheroma123
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 3,20
Envío por EUR 25,10Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoGebundene Ausgabe. Condición: Gut. 79426x Sprache: Deutsch Gewicht in Gramm: 550.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,67
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Ordo et Libertas - Festschrift zum 60. Geburtstag von Dr. Gerhard Winterberger
Jetzer, Alexandre / Meier-Hayoz, Arthur / Sieber, Hugo / Wild, Kurt (Her.
- Tapa dura
- Primera edición
Librería: ACADEMIA Antiquariat an der Universität, Freiburg, AlemaniaACADEMIA Antiquariat an der Universität
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: BOEV
Condición: Usado - Excelente
EUR 17,00
Envío por EUR 38,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
18 x 24 cm. Condición: Sehr gut. 1. Auflage. 554 Seiten hellgrüner Originalleinenband mit Schutzumschlag; sehr gut erhaltenes Exemplar mit zahlreichen Textbeiträgen. Sprache: Deutsch Gewicht in Gramm: 1.
Idioma: Alemán
Editorial: Hoesch AG, Dortmund, 1987
- Tapa blanda
Librería: Buch et cetera Antiquariatsbuchhandel, Königswinter, NRW, AlemaniaBuch et cetera Antiquariatsbuchhandel
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 3,90
Envío por EUR 53,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoca. 19,5 x 15 cm Einband ist im guten Zustand. O-Brosch 268 Seiten.
Idioma: Alemán
Editorial: Dortmund: Hoesch AG, 1988
- Tapa dura
Librería: Hubert Wilhelm Eichhorn, Möhnesee, AlemaniaHubert Wilhelm Eichhorn
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 4,90
Envío por EUR 58,90Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito300 S., Gebraucht, sehr gut. T 17224 Sprache: Deutsch Gewicht in Gramm: 460 14,8 x 2.2 x 19,5 cm, Gebundene Ausgabe.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,56
Envío por EUR 14,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,08
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. 2013. Paperback. . . . . .
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 67,66
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 244.
- Tapa dura
Librería: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, AlemaniaAntiquariat Jochen Mohr -Books and Mohr-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 13,50
Envío por EUR 59,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Sehr gut. 2.Aufl. 1987. 239 Seiten 9783519121015 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 550.
The Foundations of Program Verification
Loeckx, Jacques (Contributor)/ Sieber, Kurt/ Stansifer, Ryan (Contributor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,53
Envío por EUR 11,70Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2nd edition. 239 pages. German language. 8.90x5.98x0.63 inches. In Stock.
Editorial: Hoesch AG,
- Tapa dura
Librería: CSG Onlinebuch GMBH, Darmstadt, AlemaniaCSG Onlinebuch GMBH
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 1,35
Envío por EUR 95,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoGebundene Ausgabe. Condición: Sehr gut. Gebraucht - Sehr gut.
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,84
Envío por EUR 9,10Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. 2013. Paperback. . . . . . Books ship from the US and Ireland.
Editorial: John Wiley & Sons Chichester 1984, 1984
- Tapa dura
- Primera edición
Librería: Andrew Barnes Books / Military Melbourne, Melbourne, VIC, AustraliaAndrew Barnes Books / Military Melbourne
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 90,19
Envío por EUR 17,34Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito1st edition original boards Fine octavo. 230pp., b/w illus., bibliog., index, Wiley-Teubner Series in Computer Science.
Idioma: Alemán
Editorial: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 2013
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,99
Envío por EUR 61,80Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. The aim of the bo…ok is to present these different verification methods and to explain their mathemati cal background. The subject is treated with mathematical precision, and many examples are included. Throughout the book the same examples will reappear to illustrate how the different methods are related. The material is self-contained and accessible without prior knowledge of logic or semantics, but elementary knowledge of programming languages, formal languages and the theory of computation is helpful. A main concern has been to present the subject in as simple a setting as possible. For this reason three elementary, representative programming languages are in troduced: a flowchart programming language, a language of while-programs and a language of recursive programs. For these programming languages the operational and denotational semantics are introduced. Each verification method is then illustrated in the most appropriate of these languages and proved correct with the help of the most appropriate of the semantics.
Idioma: Alemán
Editorial: Dortmund, Hoesch AG,, 1987
Librería: Ant. Abrechnungs- und Forstservice ISHGW, Oederan, AlemaniaAnt. Abrechnungs- und Forstservice ISHGW
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 8,00
Envío por EUR 65,10Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito8°, Hardcover/Pappeinband. 268 Seiten mit zahl. Abbildungen Einbanddeckeln innen, Vorsatzblatt und letztes Blatt leicht nachgedunkelt, sonst gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 430.
Idioma: Alemán
Editorial: Dortmund, Hoesch AG,, 1985
Librería: Ant. Abrechnungs- und Forstservice ISHGW, Oederan, AlemaniaAnt. Abrechnungs- und Forstservice ISHGW
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 8,00
Envío por EUR 65,10Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoGr.-8°, Hardcover/Pappeinband. 264 Seiten mit zahl. Abbildungen Gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 450.
Librería: Moby Dick, Noordwijk, HolandaMoby Dick
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 40,00
Envío por EUR 49,10Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoJohn Wiley & Sons 1984 cloth, 230 pp. Wiley-Teubner Series in Computer Science ISBN (3519021013) (code Sc-51).
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 39,87
Envío por EUR 5,50Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
Idioma: Alemán
Editorial: Vieweg+Teubner, Vieweg+Teubner Verlag Okt 2013, 2013
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,99
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. T…he aim of the book is to present these different verification methods and to explain their mathemati cal background. The subject is treated with mathematical precision, and many examples are included. Throughout the book the same examples will reappear to illustrate how the different methods are related. The material is self-contained and accessible without prior knowledge of logic or semantics, but elementary knowledge of programming languages, formal languages and the theory of computation is helpful. A main concern has been to present the subject in as simple a setting as possible. For this reason three elementary, representative programming languages are in troduced: a flowchart programming language, a language of while-programs and a language of recursive programs. For these programming languages the operational and denotational semantics are introduced. Each verification method is then illustrated in the most appropriate of these languages and proved correct with the help of the most appropriate of the semantics. 230 pp. Deutsch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 66,42
Envío por EUR 7,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 244.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 68,02
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 244.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,99
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floy…d.- 8 The Axiomatic Method of Hoare.- 9 .
Idioma: Alemán
Editorial: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Okt 2013, 2013
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,99
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floyd.- 8 The Axiomatic… Method of Hoare.- 9 Verification Methods Based on Denotational Semantics.- 10 LCF, A Logic for Computable Functions.- 11 An Overview of Further Developments.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 244 pp. Deutsch.
