Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Modellbildung in der Informatik
.
Bookmark für diesen Satz setzen
Katalogdatensatz500318829
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500318829
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
ger
ISBN
978-3-642-62267-0
Name
Broy, Manfred ¬[VerfasserIn]¬
Steinbrüggen, Ralf ¬[VerfasserIn]¬
Name ANZEIGE DER KETTE
Steinbrüggen, Ralf ¬[VerfasserIn]¬
T I T E L
Modellbildung in der Informatik
Verlagsort
Berlin, Heidelberg ; s.l.
Verlag
Springer Berlin Heidelberg
Erscheinungsjahr
2004
2004
Umfang
1 Online-Ressource (X, 256 S)
Reihe
Springer eBook Collection. Computer Science and Engineering
Titelhinweis
Erscheint auch als (Druck-Ausgabe)ISBN: 978-3-642-62267-0
Erscheint auch als (Druck-Ausgabe)ISBN: 978-3-540-44292-9
ISBN
ISBN 978-3-642-18732-2
Klassifikation
COM032000
COM069000
UT
005.7
QA75.5-76.95
Kurzbeschreibung
Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modellierung ist ein durchgängiges Thema für unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten Überblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verständnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt. Die vorliegende Einführung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch Übungsaufgaben (mit Lösungsvorschlägen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung
SWB-Titel-Idn
497444712
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttps://doi.org/10.1007/978-3-642-18732-2
Internetseite / Link
Volltext
.
ISBD-Anzeige
Katalogdatensatz500318829
.
Kategorien-Anzeige
Katalogdatensatz500318829
.
Verwandte Werke
Katalogdatensatz500318829
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500318829
.
Kataloginformation500318829
Datensatzanfang
.
Kataloginformation500318829
Seitenanfang
.
Titel vormerken
Katalogdatensatz500318829
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach