Domain einlenken.de kaufen?
Wir ziehen mit dem Projekt
einlenken.de um.
Sind Sie am Kauf der Domain
einlenken.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain einlenken.de kaufen?
Gamma, Erich: Design Patterns: Elements of Reusable Object-Oriented Software
Design Patterns: Elements of Reusable Object-Oriented Software , Capturing a wealth of experience about the design of object-oriented software, four top-notch designers present a catalog of simple and succinct solutions to commonly occurring design problems. Previously undocumented, these 23 patterns allow designers to create more flexible, elegant, and ultimately reusable designs without having to rediscover the design solutions themselves.
The authors begin by describing what patterns are and how they can help you design object-oriented software. They then go on to systematically name, explain, evaluate, and catalog recurring designs in object-oriented systems. With
Design Patterns
as your guide, you will learn how these important patterns fit into the software development process, and how you can leverage them to solve your own design problems most efficiently.
, Federungsset > Sportfederung , Auflage: 1st ed., Reprint, Erscheinungsjahr: 199512, Produktform: Leinen, Titel der Reihe: Addison-Wesley Professional Computing Series##, Autoren: Gamma, Erich~Helm, Richard~Johnson, Ralph~Vlissides, John, Auflage: 94001, Auflage/Ausgabe: 1st ed., Reprint, Seitenzahl/Blattzahl: 416, Abbildungen: Zahlr. Abb., Tab., Themenüberschrift: COMPUTERS / Programming / Object Oriented, Fachschema: Objektorientiert (EDV)~Pattern (EDV)~Mustererkennung~Intelligenz / Künstliche Intelligenz~KI~Künstliche Intelligenz - AI, Fachkategorie: Objektorientierte Programmierung (OOP)~Aspektorientierte Programmierung~Programmiertechniken~Mustererkennung~Maschinelles Sehen, Bildverstehen, Imprint-Titels: Pearson Professional, Warengruppe: HC/Informatik, Fachkategorie: Objektorientiertes Software Engineering, Thema: Verstehen, Text Sprache: eng, Seitenanzahl: XII, Seitenanzahl: 395, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Prentice Hall, Verlag: Prentice Hall, Verlag: Pearson Education Limited, Länge: 242, Breite: 199, Höhe: 30, Gewicht: 1018, Produktform: Gebunden, Genre: Importe, Genre: Importe, Herkunftsland: VEREINIGTE STAATEN VON AMERIKA (US), Katalog: LIB_ENBOOK, Katalog: Gesamtkatalog, Katalog: Internationale Lagertitel, Katalog: internationale Titel, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0100, Tendenz: +1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 41710
49,05 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Das Buch "Verification of Object-Oriented Software. The KeY Approach" bietet eine umfassende Analyse und Methodik zur Verifikation von objektorientierter Software. In einer Zeit, in der die Komplexität von Programmen stetig zunimmt, ist es entscheidend, nicht nur abstrakte Konzepte, sondern auch konkrete Programmartefakte zu überprüfen. Die Autoren, Bernhard Beckert, Reiner Hähnle und Peter H. Schmitt, beleuchten die Herausforderungen, die mit der Verifikation grösserer Softwareeinheiten verbunden sind, und bieten innovative Ansätze zur Bewältigung dieser Probleme. Das Buch geht über traditionelle Methoden hinaus und berücksichtigt die Vielzahl an Sprachfeatures, die in modernen Programmiersprachen verwendet werden. Es wird aufgezeigt, wie maschinelle Beweise an Glaubwürdigkeit gewinnen und wie diese Techniken dazu beitragen können, die Rigorosität der Verifikation zu erhöhen. Die Leserinnen und Leser erhalten wertvolle Einblicke in die Anwendung der KeY-Methodik und deren Vorteile für die Softwareentwicklung.
106,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification-of-Object-Oriented-Software
Top-Angebote
Produkte zum Begriff Verification-of-Object-Oriented-Software:
-
Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Design Patterns: Elements of Reusable Object-Oriented Software, Gebundene Ausgabe von Erich Gamma,Richard Helm,Ralph Johnson,John Vlissides, PearsonDesign Patterns: Elements Of Reusable Object-oriented Software, Gebundene Ausgabe Von Erich Gamma,richard Helm,ralph Johnson,john Vlissides, Pearson Education Limited, 978-0-201-63361-0, Seitenanzahl: 41645,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Reverse Engineering of Object Oriented Code, Fachbücher von Paolo Tonella, Alessandra PotrichDas Buch "Reverse Engineering of Object Oriented Code" bietet eine umfassende Analyse der Techniken, die im Bereich des Reverse Engineering von objektorientiertem Code untersucht wurden. Es richtet sich an Software-Ingenieure und Forscher, die ein tieferes Verständnis für die Wartung und Modifikation von Software-Systemen erlangen möchten. Während der Wartung eines Software-Systems können nicht alle Fragen direkt durch den Zugriff auf den Quellcode beantwortet werden. Das Buch zeigt auf, wie abstrakte, zielorientierte Ansichten des Systems extrahiert werden können, um relevante Eigenschaften der Programmabläufe zusammenzufassen. Ein besonderer Fokus liegt auf den Algorithmen zur Wiederherstellung von UML-Diagrammen aus dem Code und den Visualisierungstechniken, die für deren Darstellung verwendet werden können. Diese Aspekte sind entscheidend, da UML mittlerweile als Standard für die Darstellung von Entwurfsdiagrammen in der objektorientierten Entwicklung gilt.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Object-Oriented Computer Simulation of Discrete-Event Systems, Fachbücher von Jerzy Tyszer
Das Buch "Object-Oriented Computer Simulation of Discrete-Event Systems" bietet eine umfassende Einführung in die verschiedenen Techniken der Computersimulation, die für die Modellierung dynamischer Systeme verwendet werden. Es hebt sich von anderen Fachbüchern ab, indem es eine vollständige und ausgewogene Darstellung aller wesentlichen Aspekte der Computersimulation von diskreten Ereignissystemen bietet. Die Leserinnen und Leser lernen, wie sie ihre eigenen Simulationsmodelle entwerfen, programmieren und nutzen können. Das Buch verwendet durchgehend eine objektorientierte Methodik als Hauptprogrammierplattform und richtet sich an Personen mit Grundkenntnissen in Wahrscheinlichkeitstheorie und Statistik sowie grundlegenden Programmierkenntnissen in C++. Es ist nicht an eine spezifische Simulationssprache gebunden und enthält 50 vollständige Simulationsprobleme, die den Leserinnen und Lesern helfen, eigene Simulationsprogramme zu erstellen. Die Konzepte werden in einer umfassenden, einheitlichen und eigenständigen Weise vermittelt.
246,09 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Object-Oriented Python, Fachbücher von Irv Kalb
"If only I could have learned programming with this book! Any sufficiently advanced Python code will work with classes and Irv Kalb has provided a useful, fun introduction to Object-Oriented Programming (OOP). The projects start simple and build upon each other, always with a specific outcome in mind. For example, the first example is a basic card game written in procedural Python. A dozen chapters later, you'll be including card graphics and keeping track of the state of the deck with OOP concepts like encapsulation, polymorphism, and inheritance all without reading a dry textbook. Object-Oriented Python is a fun way for new coders to level up their skills." Adam DuVander, EveryDeveloper "The projects for the most part are real world appropriate, and easily understandable for multiple levels of expertise of the readers . . . Anyone who is interested in learning Python Object Oriented Programming would benefit by having this book in their library. Kudos to both Mr. Kalb and No Starch Press for this book!" Full Circle Magazine.
38,70 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Verification-of-Object-Oriented-Software:
-
Gamma, Erich: Design Patterns: Elements of Reusable Object-Oriented SoftwareDesign Patterns: Elements of Reusable Object-Oriented Software , Capturing a wealth of experience about the design of object-oriented software, four top-notch designers present a catalog of simple and succinct solutions to commonly occurring design problems. Previously undocumented, these 23 patterns allow designers to create more flexible, elegant, and ultimately reusable designs without having to rediscover the design solutions themselves. The authors begin by describing what patterns are and how they can help you design object-oriented software. They then go on to systematically name, explain, evaluate, and catalog recurring designs in object-oriented systems. With Design Patterns as your guide, you will learn how these important patterns fit into the software development process, and how you can leverage them to solve your own design problems most efficiently. , Federungsset > Sportfederung , Auflage: 1st ed., Reprint, Erscheinungsjahr: 199512, Produktform: Leinen, Titel der Reihe: Addison-Wesley Professional Computing Series##, Autoren: Gamma, Erich~Helm, Richard~Johnson, Ralph~Vlissides, John, Auflage: 94001, Auflage/Ausgabe: 1st ed., Reprint, Seitenzahl/Blattzahl: 416, Abbildungen: Zahlr. Abb., Tab., Themenüberschrift: COMPUTERS / Programming / Object Oriented, Fachschema: Objektorientiert (EDV)~Pattern (EDV)~Mustererkennung~Intelligenz / Künstliche Intelligenz~KI~Künstliche Intelligenz - AI, Fachkategorie: Objektorientierte Programmierung (OOP)~Aspektorientierte Programmierung~Programmiertechniken~Mustererkennung~Maschinelles Sehen, Bildverstehen, Imprint-Titels: Pearson Professional, Warengruppe: HC/Informatik, Fachkategorie: Objektorientiertes Software Engineering, Thema: Verstehen, Text Sprache: eng, Seitenanzahl: XII, Seitenanzahl: 395, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Prentice Hall, Verlag: Prentice Hall, Verlag: Pearson Education Limited, Länge: 242, Breite: 199, Höhe: 30, Gewicht: 1018, Produktform: Gebunden, Genre: Importe, Genre: Importe, Herkunftsland: VEREINIGTE STAATEN VON AMERIKA (US), Katalog: LIB_ENBOOK, Katalog: Gesamtkatalog, Katalog: Internationale Lagertitel, Katalog: internationale Titel, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0100, Tendenz: +1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 4171049,05 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. SchmittDas Buch "Verification of Object-Oriented Software. The KeY Approach" bietet eine umfassende Analyse und Methodik zur Verifikation von objektorientierter Software. In einer Zeit, in der die Komplexität von Programmen stetig zunimmt, ist es entscheidend, nicht nur abstrakte Konzepte, sondern auch konkrete Programmartefakte zu überprüfen. Die Autoren, Bernhard Beckert, Reiner Hähnle und Peter H. Schmitt, beleuchten die Herausforderungen, die mit der Verifikation grösserer Softwareeinheiten verbunden sind, und bieten innovative Ansätze zur Bewältigung dieser Probleme. Das Buch geht über traditionelle Methoden hinaus und berücksichtigt die Vielzahl an Sprachfeatures, die in modernen Programmiersprachen verwendet werden. Es wird aufgezeigt, wie maschinelle Beweise an Glaubwürdigkeit gewinnen und wie diese Techniken dazu beitragen können, die Rigorosität der Verifikation zu erhöhen. Die Leserinnen und Leser erhalten wertvolle Einblicke in die Anwendung der KeY-Methodik und deren Vorteile für die Softwareentwicklung.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification-of-Object-Oriented-Software
-
Design Patterns: Elements of Reusable Object-Oriented Software, Gebundene Ausgabe von Erich Gamma,Richard Helm,Ralph Johnson,John Vlissides, PearsonDesign Patterns: Elements Of Reusable Object-oriented Software, Gebundene Ausgabe Von Erich Gamma,richard Helm,ralph Johnson,john Vlissides, Pearson Education Limited, 978-0-201-63361-0, Seitenanzahl: 41645,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Reverse Engineering of Object Oriented Code, Fachbücher von Paolo Tonella, Alessandra PotrichDas Buch "Reverse Engineering of Object Oriented Code" bietet eine umfassende Analyse der Techniken, die im Bereich des Reverse Engineering von objektorientiertem Code untersucht wurden. Es richtet sich an Software-Ingenieure und Forscher, die ein tieferes Verständnis für die Wartung und Modifikation von Software-Systemen erlangen möchten. Während der Wartung eines Software-Systems können nicht alle Fragen direkt durch den Zugriff auf den Quellcode beantwortet werden. Das Buch zeigt auf, wie abstrakte, zielorientierte Ansichten des Systems extrahiert werden können, um relevante Eigenschaften der Programmabläufe zusammenzufassen. Ein besonderer Fokus liegt auf den Algorithmen zur Wiederherstellung von UML-Diagrammen aus dem Code und den Visualisierungstechniken, die für deren Darstellung verwendet werden können. Diese Aspekte sind entscheidend, da UML mittlerweile als Standard für die Darstellung von Entwurfsdiagrammen in der objektorientierten Entwicklung gilt.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Object-Oriented Computer Simulation of Discrete-Event Systems, Fachbücher von Jerzy TyszerDas Buch "Object-Oriented Computer Simulation of Discrete-Event Systems" bietet eine umfassende Einführung in die verschiedenen Techniken der Computersimulation, die für die Modellierung dynamischer Systeme verwendet werden. Es hebt sich von anderen Fachbüchern ab, indem es eine vollständige und ausgewogene Darstellung aller wesentlichen Aspekte der Computersimulation von diskreten Ereignissystemen bietet. Die Leserinnen und Leser lernen, wie sie ihre eigenen Simulationsmodelle entwerfen, programmieren und nutzen können. Das Buch verwendet durchgehend eine objektorientierte Methodik als Hauptprogrammierplattform und richtet sich an Personen mit Grundkenntnissen in Wahrscheinlichkeitstheorie und Statistik sowie grundlegenden Programmierkenntnissen in C++. Es ist nicht an eine spezifische Simulationssprache gebunden und enthält 50 vollständige Simulationsprobleme, die den Leserinnen und Lesern helfen, eigene Simulationsprogramme zu erstellen. Die Konzepte werden in einer umfassenden, einheitlichen und eigenständigen Weise vermittelt.246,09 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Object-Oriented Python, Fachbücher von Irv Kalb"If only I could have learned programming with this book! Any sufficiently advanced Python code will work with classes and Irv Kalb has provided a useful, fun introduction to Object-Oriented Programming (OOP). The projects start simple and build upon each other, always with a specific outcome in mind. For example, the first example is a basic card game written in procedural Python. A dozen chapters later, you'll be including card graphics and keeping track of the state of the deck with OOP concepts like encapsulation, polymorphism, and inheritance all without reading a dry textbook. Object-Oriented Python is a fun way for new coders to level up their skills." Adam DuVander, EveryDeveloper "The projects for the most part are real world appropriate, and easily understandable for multiple levels of expertise of the readers . . . Anyone who is interested in learning Python Object Oriented Programming would benefit by having this book in their library. Kudos to both Mr. Kalb and No Starch Press for this book!" Full Circle Magazine.38,70 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.