Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Anmelden
Neuer Katalog (Beta-Version)
Weitere Infos
Universitätsbibliothek
Katalog
Details
Foundations of computing : system development with set theory and logic
International computer science series
Scheurer, Thierry
1994
Signatur:
TVA2348
Bitte anmelden um Merklisten zu nutzen
Details
Autor(en) / Beteiligte
Scheurer, Thierry
Titel
Foundations of computing : system development with set theory and logic
Ist Teil von
International computer science series
Ort / Verlag
Wokingham [u.a.] : Addison-Wesley
Erscheinungsjahr
1994
Sprache
–
Identifikatoren
ISBN: 0201544296
ZDB-ID: HBZHT006376529
OCLC-Nummer: 246772218, 246772218
Titel-ID: 990006610380106463
Format
XXIV, 668 S. : graph. Darst.
Systemstelle
TVD
,
TCK
,
TVA
Schlagworte
Theoretische Informatik
,
Mengenlehre
,
Mathematische Logik
Lade weitere Informationen...