Zur Startseite gehen
0,00 €*
Cover: 9780367336578 | Time & Logic | A Computational Approach | Leonard Bolc (u. a.) | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Time & Logic
A Computational Approach
Taschenbuch von Leonard Bolc (u. a.)
Sprache: Englisch

65,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
Inhaltsverzeichnis

Preface 1. Temporal Logic of Programs: Standard Approach 2. Effective Temporal Logics of Programs 3. On the Relation of Programs and Computations to Models of Temporal Logic 4. Branching Time and Partial Order in Temporal Logics 5. Temporal Logic in Stochastic Environment 6. Relational Proof Systems for Applied Temporal Logics 7. An Analysis of Structure of Time in the First Order Predicate Calculus Index

Details
Erscheinungsjahr: 2021
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9780367336578
ISBN-10: 036733657X
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Scott A. Chamberlin
Redaktion: Bolc, Leonard
Sza¿as, Andrzej
Hersteller: Routledge
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 234 x 156 x 18 mm
Von/Mit: Leonard Bolc (u. a.)
Erscheinungsdatum: 30.09.2021
Gewicht: 0,515 kg
Artikel-ID: 128407023
Inhaltsverzeichnis

Preface 1. Temporal Logic of Programs: Standard Approach 2. Effective Temporal Logics of Programs 3. On the Relation of Programs and Computations to Models of Temporal Logic 4. Branching Time and Partial Order in Temporal Logics 5. Temporal Logic in Stochastic Environment 6. Relational Proof Systems for Applied Temporal Logics 7. An Analysis of Structure of Time in the First Order Predicate Calculus Index

Details
Erscheinungsjahr: 2021
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9780367336578
ISBN-10: 036733657X
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Scott A. Chamberlin
Redaktion: Bolc, Leonard
Sza¿as, Andrzej
Hersteller: Routledge
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 234 x 156 x 18 mm
Von/Mit: Leonard Bolc (u. a.)
Erscheinungsdatum: 30.09.2021
Gewicht: 0,515 kg
Artikel-ID: 128407023
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780470229101 | Designing for the Digital Age | Kim Goodwin | Taschenbuch | XXIX
Designing for the Digital Age
How to Create Human-Centered Products and Services
EAN: 9780470229101
Sprache: Englisch
Von/Mit: Kim Goodwin

82,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540724773 | Didaktik der Informatik | Grundlagen, Konzepte, Beispiele | Hubwieser
Didaktik der Informatik
Grundlagen, Konzepte, Beispiele
EAN: 9783540724773
Sprache: Deutsch
Von/Mit: Peter Hubwieser

49,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781491953242 | Feature Engineering for Machine Learning | Alice Zheng | Taschenbuch
Feature Engineering for Machine Learning
Principles and Techniques for Data Scientists
EAN: 9781491953242
Sprache: Englisch
Von/Mit: Alice Zheng (u. a.)

62,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781461268772 | A Probabilistic Theory of Pattern Recognition | Luc Devroye (u. a.)
A Probabilistic Theory of Pattern Recognition
EAN: 9781461268772
Sprache: Englisch
Von/Mit: Luc Devroye (u. a.)

80,70 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781430234678 | Applied ASP.NET 4 in Context | Adam Freeman | Taschenbuch | xxix
Applied ASP.NET 4 in Context
EAN: 9781430234678
Sprache: Englisch
Von/Mit: Adam Freeman

51,20 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783658176938 | Bridging the Gap between Requirements Engineering and Software...
Bridging the Gap between Requirements Engineering and Software Architecture
A Problem-Oriented and Quality-Driven Method
EAN: 9783658176938
Sprache: Englisch
Von/Mit: Azadeh Alebrahim

82,75 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781119581062 | CompTIA A+ Certification All-in-One For Dummies | Edward Tetz (u. a.)
CompTIA A+ Certification All-in-One For Dummies
EAN: 9781119581062
Sprache: Englisch
Von/Mit: Edward Tetz (u. a.)

46,25 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783962451974 | Kompendium Schienenfahrzeuginstandhaltung | Wolfgang Rösch | Buch
Kompendium Schienenfahrzeuginstandhaltung
EAN: 9783962451974
Sprache: Deutsch
Von/Mit: Wolfgang Rösch

42,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781801077651 | Mastering Transformers | Sava¿ Y¿ld¿r¿m | Taschenbuch | Paperback
Mastering Transformers
Build state-of-the-art models from scratch with advanced natural language processing techniques
EAN: 9781801077651
Sprache: Englisch
Von/Mit: Sava¿ Y¿ld¿r¿m (u. a.)

71,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781837634279 | R Bioinformatics Cookbook - Second Edition | Dan Maclean | Taschenbuch
R Bioinformatics Cookbook - Second Edition
Utilize R packages for bioinformatics, genomics, data science, and machine learning
EAN: 9781837634279
Sprache: Englisch
Von/Mit: Dan Maclean

65,70 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...