Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 12.08.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
Produktbild: Logic at Botik '89
Band 363

Logic at Botik '89 Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.1989

Herausgeber

Albert R. Meyer + weitere

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

464 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51237-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.1989

Herausgeber

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

464 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51237-0

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: Logic at Botik '89
  • Observational logic and process semantics (abstract).- A logic for data description.- Building theories in Nuprl.- A remark on bisimulation between probabilistic processes.- Inevitability in branching time.- Concurrent processes with synchronization: Net and algebraic approach.- A synthesis of two approaches for verifying finite state concurrent systems.- On a class of unoids.- Space considerations in Prolog.- Nearly linear time.- Experiments with implementations of two theoretical constructions.- A dynamic logic for program verification.- Discerning causality in interleaving behavior.- The use of static constructs in a model process logic.- What is the logic of computational tasks?.- Algol-like languages with higher-order procedures and their expressive power.- Fixpoints revisited.- A mathematical modeling of pure, recursive algorithms.- A category of many-sorted algebraic theories which is equivalent to the category of categories with finite products.- Gentzen style systems for K45 and K45D.- Modal logics for knowledge representation systems.- Safe executions of recognizable trace languages by asynchronous automata.