Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
Gespeichert in:
| Weitere Verfasser: | , , , |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin, Heidelberg u.a.
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6300 : Festschrift |
| Schlagworte: |
Computer science
> Mathematics
> Information theory
> Formal methods (Computer science)
> Logic, Symbolic and mathematical
> Festschrift
> Aufsatzsammlung
> Theoretische Informatik
> Mathematische Logik
> Berechenbarkeit
> Komplexitätstheorie
> Automatentheorie
> Softwarespezifikation
> Programmverifikation
> Abstrakte Zustandsmaschine
> Formale Methode
|
| Online Zugang: | Inhaltstext Inhaltsverzeichnis Inhaltstext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen Keine Ergebnisse!