Contenuti
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émes 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per International Symposium on Theoretical Programming:...
Immagini fornite dal venditore
International Symposium on Theoretical Programming. Lecture notes in computer science ; 5
Editore:
Berlin, Heidelberg, New York : Springer, 1974
ISBN 10: 3540067205
ISBN 13: 9783540067207
Antico o usato
Broschiert
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: 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. Codice articolo 1805357
Compra usato
EUR 5,95
Spese di spedizione:
EUR 12,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
International Symposium on Theoretical Programming. Lecture Notes in Computer Science, 5.
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: 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. Codice articolo 1791673
Compra usato
EUR 11,95
Spese di spedizione:
EUR 12,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
International Symposium on Theoretical Programming
Editore:
Springer, Berlin, 1974
ISBN 10: 3540067205
ISBN 13: 9783540067207
Antico o usato
Paperback
Prima edizione
Da: True Oak Books, Highland, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo TOB224-60378-A-4.61
Compra usato
EUR 40,09
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Theoretical Programming (Lecture Notes in Computer Science) (English and French Edition)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.0387067205 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a2505
Compra usato
EUR 38,45
Spese di spedizione:
EUR 6,05
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Theoretical Programming (Lecture Notes in Computer Science, 5)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020157398
Compra nuovo
EUR 48,90
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
International Symposium on Theoretical Programming (Lecture Notes in Computer Science, 5)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540067207_new
Compra nuovo
EUR 42,34
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
International Symposium on Theoretical Programming
Editore:
Springer Berlin Heidelberg Mai 1974, 1974
ISBN 10: 3540067205
ISBN 13: 9783540067207
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540067207
Compra nuovo
EUR 37,44
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
International Symposium on Theoretical Programming: 5 (Lecture Notes in Computer Science, 5) [Paperback] Ershov, A. and Nepomniaschy, V.A.
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 10295-4
Compra usato
EUR 3,87
Spese di spedizione:
EUR 73,96
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
International Symposium on Theoretical Programming
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 4879308
Compra nuovo
EUR 35,19
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
International Symposium on Theoretical Programming
Editore:
Springer Berlin Heidelberg, J.B. Metzler Mai 1974, 1974
ISBN 10: 3540067205
ISBN 13: 9783540067207
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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. Codice articolo 9783540067207
Compra nuovo
EUR 37,44
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili