Articles liés à Theory of Program Structures: Schemes, Semantics, Verificati...
Synopsis
Hard to Find book
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 24,60
EUR 7,95 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Theory of Program Structures: Schemes, Semantics, Verificati...
Image d'archives
Theory of Program Structures: Schemes, Semantics, Verification
Edité par
Springer, 1975
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Edition 1975. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Edition 1975. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur D-484-829
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36
Edité par
Springer Verlag, 1985
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 388 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 615. N° de réf. du vendeur 1791683
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36
Edité par
Springer Verlag, 1975
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 388 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 570. N° de réf. du vendeur 2194657
Quantité disponible : 1 disponible(s)
Image d'archives
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science 36)
Edité par
Springer Verlag, Secaucus, New Jersey, U.S.A., 1976
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Ancien ou d'occasion
Paperback
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Ex-Library. Previous owner's sticker and faint library withdrawal stamp on the front cover. Accession slip and withdrawal stamp on title page; library stamps on dedication page. Pen markings across spine foot; faintly bumped spine head and rubbed corners. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. N° de réf. du vendeur 100991
Quantité disponible : 1 disponible(s)
Image d'archives
Theory of Program Structures : Schemes, Semantics, Verification
Edité par
Springer Berlin Heidelberg, 1985
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 3933540/203
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Theory of Program Structures : Schemes, Semantics, Verification
Edité par
Springer Berlin Heidelberg, 1975
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes. N° de réf. du vendeur 9783540074151
Quantité disponible : 1 disponible(s)
Image d'archives
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540074151_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory of Program Structures
Edité par
Springer Berlin Heidelberg, 1975
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4879601
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory of Program Structures
Edité par
Springer Berlin Heidelberg Jan 1975, 1975
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes. 388 pp. Englisch. N° de réf. du vendeur 9783540074151
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Theory of Program Structures
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1975, 1975
ISBN 10 : 3540074155
ISBN 13 : 9783540074151
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. N° de réf. du vendeur 9783540074151
Quantité disponible : 2 disponible(s)