عنوان

Baltic Computer Science :

شابک

3540474277

شابک

3540541314

شابک

9783540474272

شابک

9783540541318

شماره

b566204

عنوان اصلي

Baltic Computer Science :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Selected Papers

نام نخستين پديدآور

by Janis Barzdins, Dines Bjorner.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1991

نام خاص و کميت اثر

: v.: digital

عنوان فروست

Lecture notes in computer science, 502.

متن يادداشت

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.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Computer software.

موضوع مستند نشده

Logic design.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by Janis Barzdins, Dines Bjorner.

مستند نام اشخاص تاييد نشده

Dines Bjorner

مستند نام اشخاص تاييد نشده

Janis Barzdins

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y