Aufsatzsammlung

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

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642150241
Maße
24 cm
Umfang
XIII, 626 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.

Erschienen in
Lecture notes in computer science ; 6300 : Festschrift

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

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, NY
(wer)
Springer
(wann)
2010
Beteiligte Personen und Organisationen

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:29 MESZ

Datenpartner

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

Objekttyp

  • Aufsatzsammlung

Beteiligte

Entstanden

  • 2010

Ähnliche Objekte (12)