Articles liés à International Symposium on Theoretical Programming
Acheter neuf
Afficher cet article
EUR 35,19
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour International Symposium on Theoretical Programming
Image d'archives
International Symposium on Theoretical Programming: 5 (Lecture Notes in Computer Science, 5) [Paperback] Ershov, A. and Nepomniaschy, V.A.
Edité par
Springer, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
Ancien ou d'occasion
Couverture souple
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Taping to the spine of the book. Corners are taped also. Inscription to the inside cover. Taping to the cover/page binding also. Fine to read. N° de réf. du vendeur 10295-4
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
International Symposium on Theoretical Programming. Lecture notes in computer science ; 5
Edité par
Berlin, Heidelberg, New York : Springer, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
407 pages Ex-Library book in acceptable condition. Script without markings, cover damaged. 9783540067207 Sprache: Englisch Gewicht in Gramm: 880. N° de réf. du vendeur 1166292
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
International Symposium on Theoretical Programming. Lecture notes in computer science ; 5
Edité par
Berlin, Heidelberg, New York : Springer, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
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. 407 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 660. N° de réf. du vendeur 1805357
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
International Symposium on Theoretical Programming. Lecture Notes in Computer Science, 5.
Edité par
Springer, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
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. 407 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. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 665. N° de réf. du vendeur 1791673
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
International Symposium on Theoretical Programming
Edité par
Springer Berlin Heidelberg, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4879308
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
International Symposium on Theoretical Programming
Edité par
Springer Berlin Heidelberg, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
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 - An axiomatic definition of the programming language PASCAL.- The logic of 'can do'.- Copying in commutation ¿ Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques syst¿s de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On the average speed of automaton with terminal state.- Logical-termal equivalence of program schemata.- On universal classes of program schemas.- Certain decompositions of G¿del numbering and the semantics of programming languages.- Criteria for the algorithmic completeness of the systems of operations.- Data flow schemas.- Operation patterns.- Looking for an approach to a theory of models for parallel computation.- Configurable computers: A new class of general purpose machines.- A method for determining program data relationships.- Towards automatical construction of parallel programs.- A calculus for the mathematical theory of computation.- Admissibility of fixed-point induction in first-order logic of typed theories.- A formal approximation theory of semantic data types.- Some features of a language for a proof-checking programming system. N° de réf. du vendeur 9783540067207
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
International Symposium on Theoretical Programming
Edité par
Springer Berlin Heidelberg Mai 1974, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
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 -An axiomatic definition of the programming language PASCAL.- The logic of 'can do'.- Copying in commutation ¿ Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques syst¿s de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On the average speed of automaton with terminal state.- Logical-termal equivalence of program schemata.- On universal classes of program schemas.- Certain decompositions of G¿del numbering and the semantics of programming languages.- Criteria for the algorithmic completeness of the systems of operations.- Data flow schemas.- Operation patterns.- Looking for an approach to a theory of models for parallel computation.- Configurable computers: A new class of general purpose machines.- A method for determining program data relationships.- Towards automatical construction of parallel programs.- A calculus for the mathematical theory of computation.- Admissibility of fixed-point induction in first-order logic of typed theories.- A formal approximation theory of semantic data types.- Some features of a language for a proof-checking programming system. 420 pp. Englisch, Französisch. N° de réf. du vendeur 9783540067207
Quantité disponible : 2 disponible(s)
Image d'archives
International Symposium on Theoretical Programming (Lecture Notes in Computer Science, 5)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540067207_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
International Symposium on Theoretical Programming
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1974, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -An axiomatic definition of the programming language PASCAL.- The logic of 'can do'.- Copying in commutation ¿ Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques syst¿s de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On the average speed of automaton with terminal state.- Logical-termal equivalence of program schemata.- On universal classes of program schemas.- Certain decompositions of G¿del numbering and the semantics of programming languages.- Criteria for the algorithmic completeness of the systems of operations.- Data flow schemas.- Operation patterns.- Looking for an approach to a theory of models for parallel computation.- Configurable computers: A new class of general purpose machines.- A method for determining program data relationships.- Towards automatical construction of parallel programs.- A calculus for the mathematical theory of computation.- Admissibility of fixed-point induction in first-order logic of typed theories.- A formal approximation theory of semantic data types.- Some features of a language for a proof-checking programming system.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch. N° de réf. du vendeur 9783540067207
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
International Symposium on Theoretical Programming
Edité par
Springer, Berlin, 1974
ISBN 10 : 3540067205
ISBN 13 : 9783540067207
Ancien ou d'occasion
Paperback
Edition originale
Vendeur : True Oak Books, Highland, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. Lecture Notes In Computer Science, 5; 6.1 X 0.96 X 9.25 inches; 407 pages; Ex-Library copy with usual identifiers. Light wear on cover edges and on the head of the spine. Minor fading and rubbing on the covers. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated. N° de réf. du vendeur TOB224-60378-A-4.61
Quantité disponible : 1 disponible(s)