UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist
gegebenenfalls
nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 4 von 4
Datensatz exportieren als...
BibTeX
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday [Elektronische Ressource]
Lecture Notes in Computer Science : 6300
Blass, Andreas
Dershowitz, Nachum
Reisig, Wolfgang
2010
Details
Autor(en) / Beteiligte
Blass, Andreas
Dershowitz, Nachum
Reisig, Wolfgang
Titel
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday [Elektronische Ressource]
Ist Teil von
Lecture Notes in Computer Science : 6300
Ort / Verlag
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
Erscheinungsjahr
2010
Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2010 (ZDB-2-SCS)
Sprache
Englisch
Identifikatoren
ISBN: 9783642150258
DOI: 10.1007/978-3-642-15025-8
OCLC-Nummer: 1075506828, 1075506828
Titel-ID: 990181936320206441
Format
–
Schlagworte
Theoretische Informatik
,
Mathematische Logik
,
Berechenbarkeit
,
Komplexitätstheorie
,
Automatentheorie
,
Softwarespezifikation
,
Programmverifikation
,
Abstrakte Zustandsmaschine
,
Formale Methode
,
Computer science
,
Computer Communication Networks
,
Software engineering
,
Computer software
,
Logic design