Vor Ort
Merkzettel Warenkorb
  • Produktbild: Baltic Computer Science
  • Produktbild: Baltic Computer Science
Band 502

Baltic Computer Science Selected Papers

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.1991

Herausgeber

Janis Barzdins + weitere

Verlag

Springer Berlin

Seitenzahl

626

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

856 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54131-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.1991

Herausgeber

Verlag

Springer Berlin

Seitenzahl

626

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

856 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54131-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Baltic Computer Science
  • Produktbild: Baltic Computer Science
  • 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.