Aufsatzsammlung

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642150241
Dimensions
24 cm
Extent
XIII, 626 S.
Language
Englisch
Notes
Ill., graph. Darst.

Bibliographic citation
Lecture notes in computer science ; 6300 : Festschrift

Keyword
Theoretische Informatik
Mathematische Logik
Berechenbarkeit
Komplexitätstheorie
Automatentheorie
Softwarespezifikation
Programmverifikation
Abstrakte Zustandsmaschine
Formale Methode

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, NY
(who)
Springer
(when)
2010
Contributor

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:29 PM CEST

Data provider

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

Show object at data provider

Object type

  • Aufsatzsammlung

Associated

Time of origin

  • 2010

Other Objects (12)