Willkommen, schön sind Sie da!
Logo Ex Libris

Baltic Computer Science

  • Kartonierter Einband
  • 636 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Balt... Weiterlesen
20%
158.00 CHF 126.40
Sie sparen CHF 31.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and Lithuania. The following topics are addressed: synthesis of programs, automatic test case generation, specification and verification of distributed systems.

Inhalt
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.

Produktinformationen

Titel: Baltic Computer Science
Untertitel: Selected Papers
Editor:
EAN: 9783540541318
ISBN: 3540541314
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 636
Gewicht: 949g
Größe: H235mm x B155mm x T33mm
Jahr: 1991
Untertitel: Englisch
Auflage: 1991

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"