Kurt sieber (31 résultats)
- Autres images
Edité par Altberliner Verlag Lucie Grosser, Berlin, 1956
- Couverture rigide
Vendeur : Bücherpanorama am Johannisbad, Zwickau, AllemagneBücherpanorama am Johannisbad
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Très bon
EUR 9,00
EUR 14,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHalbleinen. Etat : sehr Gut. Etat de la jaquette : Sehr guter Schutzumschlag. S. 97. Ill. von Kurt Rübner. Einband und SU von Werner Kulle (illustrateur).
- Couverture rigide
Vendeur : Better World Books Ltd, Dunfermline, Royaume-UniBetter World Books Ltd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 33,28
EUR 5,84 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture rigide
Vendeur : Plurabelle Books Ltd, Cambridge, Royaume-UniPlurabelle Books Ltd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : GIAQ
Etat: Occasion - Assez bon
EUR 28,90
EUR 14,03 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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.
Edité par Oberlausitzer Kunstverlag, Ebersbach, 1956
- Couverture souple
Vendeur : Akademische Buchhandlung Antiquariat, Freiberg, AllemagneAkademische Buchhandlung Antiquariat
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : BOEV
Etat: Occasion
EUR 15,00
EUR 17,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. geheftet im Querformat, Papier typisch nachgedunkelt, sonst sauber und gut.
Langue : allemand
Edité par Hoesch, Dortmund,, 1987
- Couverture rigide
Vendeur : Clerc Fremin, Steingaden, AllemagneClerc Fremin
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 8,00
EUR 22,15 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSeiten 268 / Sprache: Deutsch Gewicht in Gramm: 500 Kein Schutzumschlag Hardcover Sehr gut.
Langue : allemand
Edité par Dortmund: Hoesch AG, 1988
Vendeur : Kepler-Buchversand Huong Bach, Weil der Stadt, AllemagneKepler-Buchversand Huong Bach
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 4,90
EUR 19,90 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier8° , Hardcover/Pappeinband. Etat : Gut. 300 S., Abb. Gebraucht: guter und sauberer Zustand. Sprache: Deutsch Gewicht in Gramm: 550.
- Autres images
Langue : anglais
Edité par Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley, 1984
- Couverture rigide
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, AllemagneRoland Antiquariat UG haftungsbeschränkt
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 14,70
EUR 42,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
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.
Langue : allemand
Edité par Dortmund: Hoesch AG, 1988
Vendeur : DieBücheroma123, Prackenbach, AllemagneDieBücheroma123
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 3,20
EUR 25,10 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierGebundene Ausgabe. Etat : Gut. 79426x Sprache: Deutsch Gewicht in Gramm: 550.
Ordo et Libertas - Festschrift zum 60. Geburtstag von Dr. Gerhard Winterberger
Jetzer, Alexandre / Meier-Hayoz, Arthur / Sieber, Hugo / Wild, Kurt (Her.
- Couverture rigide
- Édition originale
Vendeur : ACADEMIA Antiquariat an der Universität, Freiburg, AllemagneACADEMIA Antiquariat an der Universität
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : BOEV
Etat: Occasion - Très bon
EUR 17,00
EUR 38,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
18 x 24 cm. Etat : 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.
Langue : allemand
Edité par Hoesch AG, Dortmund, 1987
- Couverture souple
Vendeur : Buch et cetera Antiquariatsbuchhandel, Königswinter, NRW, AllemagneBuch et cetera Antiquariatsbuchhandel
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 3,90
EUR 53,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierca. 19,5 x 15 cm Einband ist im guten Zustand. O-Brosch 268 Seiten.
- Autres images
- Couverture souple
Vendeur : Dial-A-Book, NARRABEEN, NSW, AustralieDial-A-Book
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Assez bon
EUR 17,72
EUR 45,74 expéditionExpédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Very Good. Oblong 4to. Softcover. 64pp. Very Good. German text. In general, housing is mainly geared to economic aspects, and only by the way to residential quality. This study is intended to show potential builders and architects that a high quality of living does not make housing construction more expensive, but is the…result of an intensive interaction with the use, the spatial quality and an equally committed cooperation of all those involved in the construction. Includes photographs and blue prints and other planning diagrams.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 52,53
EUR 14,00 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Autres images
Langue : allemand
Edité par Hoesch AG, Dortmund, 1986
- Couverture rigide
Vendeur : Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, AllemagneButterfly Books GmbH & Co. KG
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 6,00
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Sehr gut. Jahresgabe 1987. 123 Das Buch behandelt die geschichtlichen Entwicklungen nach dem Ersten Weltkrieg mit einem Fokus auf die Weimarer Republik bis zum Untergang des Deutschen Reiches 1945. Die Kontinuität und die politschen sowie sozialen Herausforderungen der Zeit werden thematisiert. Zustand: Einband… mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. HC1-182-3/8-00541453 Sprache: Deutsch Gewicht in Gramm: 405.
- Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,08
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New. 2013. Paperback. . . . . .
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 68,50
EUR 3,51 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 244.
- Autres images
- Couverture rigide
Vendeur : Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, AllemagneAntiquariat Jochen Mohr -Books and Mohr-
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 13,50
EUR 59,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
hardcover. Etat : 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)
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 65,37
EUR 11,69 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 2nd edition. 239 pages. German language. 8.90x5.98x0.63 inches. In Stock.
Edité par Hoesch AG,
- Couverture rigide
Vendeur : CSG Onlinebuch GMBH, Darmstadt, AllemagneCSG Onlinebuch GMBH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 1,35
EUR 95,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierGebundene Ausgabe. Etat : Sehr gut. Gebraucht - Sehr gut.
- Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 71,87
EUR 9,24 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New. 2013. Paperback. . . . . . Books ship from the US and Ireland.
Edité par John Wiley & Sons Chichester 1984, 1984
- Couverture rigide
- Édition originale
Vendeur : Andrew Barnes Books / Military Melbourne, Melbourne, VIC, AustralieAndrew Barnes Books / Military Melbourne
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 91,50
EUR 17,59 expéditionExpédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier1st edition original boards Fine octavo. 230pp., b/w illus., bibliog., index, Wiley-Teubner Series in Computer Science.
- Autres images
Langue : allemand
Edité par Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 2013
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 44,99
EUR 61,80 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 book i…s 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.
Langue : allemand
Edité par Dortmund, Hoesch AG,, 1987
Vendeur : Ant. Abrechnungs- und Forstservice ISHGW, Oederan, AllemagneAnt. Abrechnungs- und Forstservice ISHGW
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 8,00
EUR 65,10 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier8°, Hardcover/Pappeinband. 268 Seiten mit zahl. Abbildungen Einbanddeckeln innen, Vorsatzblatt und letztes Blatt leicht nachgedunkelt, sonst gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 430.
- Autres images
Langue : allemand
Edité par Dortmund, Hoesch AG,, 1985
Vendeur : Ant. Abrechnungs- und Forstservice ISHGW, Oederan, AllemagneAnt. Abrechnungs- und Forstservice ISHGW
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 8,00
EUR 65,10 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierGr.-8°, Hardcover/Pappeinband. 264 Seiten mit zahl. Abbildungen Gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 450.
Vendeur : Moby Dick, Noordwijk, Pays-BasMoby Dick
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 40,00
EUR 49,10 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierJohn Wiley & Sons 1984 cloth, 230 pp. Wiley-Teubner Series in Computer Science ISBN (3519021013) (code Sc-51).
- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 39,87
EUR 5,50 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
- Couverture souple
- impression à la demande
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 55,77
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Autres images
Langue : allemand
Edité par Vieweg+Teubner, Vieweg+Teubner Verlag Okt 2013, 2013
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 44,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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. The a…im 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.
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 67,23
EUR 7,60 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand pp. 244.
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 67,86
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND pp. 244.
- Autres images
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 44,99
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : 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 Floyd.-…8 The Axiomatic Method of Hoare.- 9 .
