Sieber kurt (29 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 32,81
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.
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.
- 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 : 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.
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.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 52,52
EUR 14,00 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- 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 67,52
EUR 3,46 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 64,88
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 70,84
EUR 9,10 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 90,19
EUR 17,34 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,, 1986
Vendeur : Ant. Abrechnungs- und Forstservice ISHGW, Oederan, AllemagneAnt. Abrechnungs- und Forstservice ISHGW
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 6,00
EUR 65,10 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierGr.-8°, Hardcover/Pappeinband. 240 Seiten mit zahl. Abbildungen Gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 450.
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 54,98
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 66,27
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 .
- Autres images
Langue : allemand
Edité par Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Okt 2013, 2013
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 44,99
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 Met…hod 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.
