Kategorien
Handverlesen
Alice Munro
Paul Auster
Über Mütter
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (16 Treffer)
Filter schließen (16 Treffer)
Stichwort auswählen
Alle Stichworte
Spezifikation (16)
Verification (5)
Programmentwicklung (4)
Verifikation (4)
Distributedsystems (3)
Software Engineering (3)
Systementwicklung (3)
Algorithmen (2)
Anforderung (2)
Compiler (2)
Embedded Systems (2)
Entwurfsformalismen (2)
Entwurfsmuster (2)
Framework (2)
Mathematicalmodels (2)
Mathematischemodelle (2)
Modelchecking (2)
Modelprüfung (2)
Object (2)
Processing (2)
Programdevelopment (2)
Programming (2)
Prozessor (2)
Real-Time (2)
Refinement (2)
Softwareentwicklung (2)
Softwaresysteme (2)
Specifiation (2)
Specification (2)
Systemdevelopment (2)
Verteiltesysteme (2)
Abstraktedatentypen (1)
Algebra (1)
Algebraichigh-Levelnets (1)
Algebraischenetze (1)
Algorithmus (1)
Anforderungsentwicklung (1)
Attribut (1)
Automata (1)
Automatisierungstechnik (1)
Calculus (1)
Complexity (1)
Datatypes (1)
Datentyp (1)
Datentypen (1)
Design (1)
Deskriptiv (1)
Dprogramminglanguage (1)
Eingebettet (1)
Eingebettete Systeme (1)
Entwicklungsmethoden (1)
Entwicklungsprozess, (1)
Ergebnis (1)
Evaluierung (1)
Fahrzeug (1)
Fahrzeugfunktion (1)
Fehlertolerantessystem (1)
Forum (1)
Gameoflife (1)
Gruppen (1)
Hardware (1)
Implementierung (1)
Inductivecompletition (1)
Inform (1)
Information (1)
Instanziierung (1)
Java (1)
Javadevelopmentkit (1)
Javaserver Faces Buch (1)
Komponente (1)
Komponentenbasiert (1)
Konstruktion (1)
Language (1)
Lastenheft (1)
Logic (1)
Mantis (1)
Mikroprozessor (1)
Modellierung (1)
Modelltheorie (1)
Multiprozessor (1)
Nachricht (1)
Object-Orientation (1)
Objektbasiert (1)
Objektorientiert (1)
Objektorientierung (1)
Organisation (1)
Problemlösen (1)
Programmieren (1)
Programmierenmitgo (1)
Programmiersprache (1)
Programmiersprachen (1)
Programminglanguage (1)
Programmlebenszyklus (1)
Programmsynthese (1)
Projektemitgo (1)
Proof (1)
Prozessrechner (1)
Präskriptiv, (1)
Qualitätssicherung (1)
Rechnernetz (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Compiler und Übersetzer (4)
Software Engineering (3)
Elektronik (2)
Algorithmen und Datenstrukturen (1)
Allgemein (1)
IT-Management (1)
Kfz-Handwerk (1)
Netzwerk-Hardware (1)
Programmier- und Skriptsprachen (1)
Stochastik (1)
Webprogrammierung (1)
Wirtschaftsmathematik und -Informatik (1)
Sprache auswählen
Sprachen
Englisch (8)
Deutsch (8)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (13)
Gebunden (3)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Robert Braun
oder
Peter Buchholz
oder
Werner Esswein
oder
Michael Goll
oder
Steffen Greiffenberg
Christian Maurer
Objektbasierte Programmierung mit Go
Springer Fachmedien Wiesbaden
2023
Taschenbuch
372 Seiten
37,99
€
in Kürze
Andrea Herrmann
Grundlagen der Anforderungsanalyse
Standardkonformes Requirements Engineering
Springer Fachmedien Wiesbaden
2022
Taschenbuch
432 Seiten
39,99
€
in Kürze
Michael Goll
JavaServer Faces
JSF verstehen und praktisch einsetzen
Springer Fachmedien Wiesbaden
2020
Taschenbuch
284 Seiten
44,99
€
in Kürze
Das Buch setzt absichtlich nicht auf eine formale Beschreibung; stattdessen wird Wissen auf eine lebendige und abwechslungsreiche Art vermittelt. Ein…
Torsten Ronneberger
Durchgängige Wirkungsorientierung im Entwicklungsprozess von Fahrzeugfunktionen (Band 137)
Cuvillier
2019
Taschenbuch
184 Seiten
49,90
€
in Kürze
eng
Deductive Program Design
Springer Berlin Heidelberg
2011
Taschenbuch
484 Seiten
213,99
€
in Kürze
Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguishe…
eng
Program Design Calculi
Springer Berlin Heidelberg
2010
Taschenbuch
428 Seiten
213,99
€
in Kürze
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by n…
Robert Braun / Steffen Greiffenberg …
Einführung in die Programmierung
Grundlagen, Java, UML
Springer Berlin Heidelberg
2006
Taschenbuch
200 Seiten
34,99
€
in Kürze
Anschauliches Buch für Sozial- und Wirtschaftswissenschaftler, die in der (universitären) Grundausbildung eine Programmiersprache erlernen. Es stellt…
Jürgen Wolff von Gudenberg / Jochen Seemann
Software-Entwurf mit UML 2
Objektorientierte Modellierung mit Beispielen in Java
Springer Berlin Heidelberg
2006
Gebunden
376 Seiten
82,99
€
in Kürze
Das Buch macht die UML 2 beherrschbar. Es führt in die objektorientierte Modellierung mit den wichtigsten UML 2-Diagrammen ein und liefert eine kompa…
eng
Deductive Program Design
Springer Berlin Heidelberg
1996
Gebunden
484 Seiten
213,99
€
in Kürze
Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguishe…
eng
Program Design Calculi
Springer Berlin Heidelberg
1993
Gebunden
428 Seiten
213,99
€
in Kürze
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by n…
Peter Buchholz
Die strukturierte Analyse Markovscher Modelle
Springer Berlin Heidelberg
1991
Taschenbuch
204 Seiten
54,99
€
in Kürze
Das Buch behandelt die quantitative Analyse komplexer dynamischer Systeme mittels Modellen, die sich auf Markov-Prozesse abbilden lassen. Es wird ein…
eng
Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Springer Berlin Heidelberg
1991
Taschenbuch
392 Seiten
53,49
€
in Kürze
The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both application…
eng
Baltic Computer Science
Selected Papers
Springer Berlin Heidelberg
1991
Taschenbuch
636 Seiten
106,99
€
in Kürze
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Est…
eng
ESOP '90
3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
Springer Berlin Heidelberg
1990
Taschenbuch
452 Seiten
50,28
€
in Kürze
This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing…
Fehlertolerierende Rechnersysteme
GI-Fachtagung München, 11.¿12. März 1982 Gemeinsam veranstaltet von GI-Fachausschuß 8 und Fachausschuß 11 und GMD-Institut für Rechner- und Programmstrukturen, Siemens AG
Springer Berlin Heidelberg
1982
Taschenbuch
332 Seiten
54,99
€
in Kürze
die Fehlertoleranz international schon seit Jah ren besitzt, auch national gerecht zu werden.
eng
W. Polak
Compiler Specification and Verification
Springer Berlin Heidelberg
1981
Taschenbuch
292 Seiten
24,60
€
in Kürze
Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.