Articoli correlati a Baltic Computer Science: Selected Papers: 502
Sinossi
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
The programming system PRIZ.- Type-theoretical semantics of some declarative languages.- Using resolution for deciding solvable classes and building finite models.- Toward knowledge-based specifications of languages.- Inductive inference of recursive functions: Qualitative theory.- Inductive inference of recursive functions: Complexity bounds.- Inductive synthesis of dot expressions.- Some models of inductive syntactical synthesis from sample computations.- Inductive synthesis of term rewriting systems.- Automatic construction of test sets: Theoretical approach.- Automatic construction of test sets: Practical approach.- Aggregate approach for specification, validation, simulation and implementation of computer network protocols.- A compositional proof system for distributed programs.- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus.- Rigal — a programming language for compiler writing.- Complexity of probabilistic versus deterministic automata.
Product Description
Lecture Notes In Computer Science 502. Brossura Editoriale Di Pp. X-619, In Stato Di Nuovo. Spedizione In 24 Ore Dalla Conferma Dell'Ordine.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoEx-library paperback in very nice...
Visualizza questo articolo
EUR 77,64
EUR 64,15 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 92,27
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Baltic Computer Science: Selected Papers: 502
Immagini fornite dal venditore
Baltic Computer Science
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely n. Codice articolo 4893069
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Baltic Computer Science : Selected Papers
Editore:
Springer Berlin Heidelberg, 1991
ISBN 10: 3540541314
ISBN 13: 9783540541318
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems. Codice articolo 9783540541318
Quantità: 1 disponibili
Immagini fornite dal venditore
Baltic Computer Science
ISBN 10: 3540541314
ISBN 13: 9783540541318
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 -This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 636 pp. Englisch. Codice articolo 9783540541318
Quantità: 1 disponibili
Foto dell'editore
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540541318
Quantità: 2 disponibili
Foto dell'editore
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540541318_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Baltic Computer Science
Editore:
Springer Berlin Heidelberg Jun 1991, 1991
ISBN 10: 3540541314
ISBN 13: 9783540541318
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 -This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems. 636 pp. Englisch. Codice articolo 9783540541318
Quantità: 2 disponibili
Foto dell'editore
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540541318
Quantità: Più di 20 disponibili
Foto dell'editore
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Codice articolo DA1411924
Quantità: 1 disponibili
Foto dell'editore
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020169907
Quantità: Più di 20 disponibili