Introduction to languages, machines and logic : computable machines, abstract machines and formal logic

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
1852334649
Dimensions
24 cm
Extent
XI, 351 S.
Language
Englisch
Notes
Ill., graph. Darst.

Keyword
Formale Sprache
Automatentheorie
Mathematische Logik
Komplexitätstheorie

Event
Veröffentlichung
(where)
London, Berlin, Heidelberg, New York, Barcelona, Hong Kong, Milan, Paris, Singapore, Tokyo
(who)
Springer
(when)
2002
Creator
Parkes, Alan

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:20 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Parkes, Alan
  • Springer

Time of origin

  • 2002

Other Objects (12)

Concurrent abstract state machines

Concurrent abstract state machines

Semantics of UML 2.2 State Machines in Rewriting Logic

Semantics of UML 2.2 State Machines in Rewriting Logic

Artificial intelligence languages and machines

Artificial intelligence languages and machines

Diagrams: tropes, tools, abstract machines

Diagrams: tropes, tools, abstract machines

Model checking abstract state machines

Hochschulschrift | Online-Publikation

Model checking abstract state machines

Verification of abstract state machines

Verification of abstract state machines

Machines

Standfoto

Machines

Machines

Standfoto

Machines

Machines

Standfoto

Machines

Machines

Kapitel

Machines

Machines

Plakat

Machines

Machines

Standfoto

Machines

Related objects