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

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
1852334649
Maße
24 cm
Umfang
XI, 351 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.

Schlagwort
Formale Sprache
Automatentheorie
Mathematische Logik
Komplexitätstheorie

Ereignis
Veröffentlichung
(wo)
London, Berlin, Heidelberg, New York, Barcelona, Hong Kong, Milan, Paris, Singapore, Tokyo
(wer)
Springer
(wann)
2002
Urheber
Parkes, Alan

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:20 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Parkes, Alan
  • Springer

Entstanden

  • 2002

Ähnliche Objekte (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

Model checking abstract state machines

Hochschulschrift | Online-Publikation

Model checking abstract state machines

Diagrams: tropes, tools, abstract machines

Diagrams: tropes, tools, abstract machines

Verification of abstract state machines

Verification of abstract state machines

Machines

Standfoto

Machines

Machines

Standfoto

Machines

Machines

Standfoto

Machines

Machines

Plakat

Machines

Machines

Standfoto

Machines

Machines

Standfoto

Machines

Verbundene Objekte