Domain business-process-analysis.de kaufen?
Wir ziehen mit dem Projekt
business-process-analysis.de um.
Sind Sie am Kauf der Domain
business-process-analysis.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain business-process-analysis.de kaufen?
Java Software Development with Event B, Fachbücher von Néstor Cataño Collazos
"Java Software Development with Event B" ist ein Fachbuch, das sich mit der Anwendung formaler Methoden in der Softwareentwicklung beschäftigt. Es beleuchtet die Herausforderungen, die bei der Erstellung von Softwareanforderungen auftreten, insbesondere die Probleme der Mehrdeutigkeit und Widersprüchlichkeit, die häufig in informellen Anforderungen zu finden sind. Das Buch bietet einen strukturierten Ansatz zur Validierung von Softwareanforderungen in den frühen Phasen der Entwicklung, indem es die Verwendung von Event B und Refinement Calculus als zentrale formale Methoden hervorhebt. Der Autor, Néstor Cataño Collazos, führt die Leser durch den Prozess, beginnend mit der Formulierung von Benutzeranforderungen, über die Erstellung formaler Spezifikationen bis hin zur Implementierung und Testung von Prototypen. Dieses Buch ist eine wertvolle Ressource für Fachleute und Studierende, die ein tieferes Verständnis für die Anwendung formaler Methoden in der Softwareentwicklung erlangen möchten.
29,95 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Portabilität-von-Java-Software-Taschenbuch
Top-Angebote
Produkte zum Begriff Portabilität-von-Java-Software-Taschenbuch:
-
Ritter, M: JarBuilder - Software zur Verteilung von Java-App, Taschenbuch von Markus Ritter, VDM, 978-3-639-27671-8Ritter, M: Jarbuilder - Software Zur Verteilung Von Java-app, Taschenbuch Von Markus Ritter, Vdm, 978-3-639-27671-8, Seitenanzahl: 7649,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Vogt, Carsten: Von Java zu CVon Java zu C , - 2. Auflage des Klassikers "C für Java-Programmierer" - Systematische Einführung in C mit Konzentration auf die Unterschiede von C zu Java - Schnelleinstiege für eilige Leser:innen sowie zahlreiche Beispiele und Übungen - Umfangreicher Anhang zum Nachschlagen - Mit Zusatzmaterial: die Beispielprogramme aus dem Buch, die Lösungen der Übungsaufgaben und weitere Informationen - Ihr exklusiver Vorteil: E-Book inklusive beim Kauf des gedruckten Buches Das Buch gibt eine Einführung in die Programmiersprache C und setzt dabei Kenntnisse in der Sprache Java voraus. Java wird nämlich oft als erste Programmiersprache gelehrt, während in weiterführenden Studienfächern und in der Berufspraxis auch C eine wichtige Rolle spielt. Kompakte Schnelleinstiege zu Beginn der einzelnen Kapitel ermöglichen eine rasche Orientierung über die Möglichkeiten von C im Vergleich zu Java. Die Besonderheiten von C werden dann jeweils im Detail diskutiert. Profitieren wird man daher auch, wenn man schon einmal mit C in Berührung gekommen ist und nun seine Kenntnisse vertiefen möchte. Zwei Schwerpunkte des Buchs sind die Programmierung mit Zeigern/Pointern, die es in Java so nicht gibt, und von dynamischen Datenstrukturen, die Java durch vordefinierte Klassen bereitstellt. Zudem werden einfache und strukturierte Datentypen, Kontrollstrukturen, Funktionen, Ein-/Ausgabe und die C-Standardbibliothek behandelt. Viele Programmbeispiele zeigen die Anwendung der Konzepte. Anhand von Übungsaufgaben kann man sein neu erworbenes Wissen praktisch ausprobieren. AUS DEM INHALT // - Struktur und Übersetzung von C-Programmen - Kontrollstrukturen - Datenorganisation - Zeiger - Funktionen - Ein-/Ausgabe und Dateizugriffe - Dynamische Datenstrukturen - Standardbibliothek , Querlenker > Sportfederung , Auflage: 2., aktualisierte Auflage, Auflage: 2., aktualisierte Auflage, Erscheinungsjahr: 20240809, Erscheinungsjahr: 20240809, Produktform: Kassette, Produktform: Kassette, Inhalt/Anzahl: 1, Inhalt/Anzahl: 1, Inhalt/Anzahl: 1, Inhalt/Anzahl: 1, Autoren: Vogt, Carsten, Autoren: Vogt, Carsten, Auflage: 24002, Auflage: 24002, Auflage/Ausgabe: 2., aktualisierte Auflage, Auflage/Ausgabe: 2., aktualisierte Auflage, Seitenzahl/Blattzahl: 224, Seitenzahl/Blattzahl: 224, Keyword: Informatik; Java; Lehrbuch; Programmiersprachen; Programmierung, Keyword: Informatik; Java; Lehrbuch; Programmiersprachen; Programmierung, Fachschema: C (Programmiersprache)~Java (EDV)~Programmiersprachen, Fachschema: C (Programmiersprache)~Java (EDV)~Programmiersprachen, Bildungszweck: für die Hochschule, Bildungszweck: für die Hochschule, Warengruppe: HC/Programmiersprachen, Warengruppe: HC/Programmiersprachen, Fachkategorie: Programmier- und Skriptsprachen, allgemein, Fachkategorie: Programmier- und Skriptsprachen, allgemein, Thema: Verstehen, Thema: Verstehen, Text Sprache: ger, Text Sprache: ger, Sender’s product category: BUNDLE, Sender’s product category: BUNDLE, Verlag: Hanser Fachbuchverlag, Verlag: Hanser Fachbuchverlag, Verlag: Hanser Fachbuchverlag, Verlag: Hanser Fachbuchverlag, Verlag: Hanser, Carl, Verlag GmbH & Co. KG, Verlag: Hanser, Carl, Verlag GmbH & Co. KG, Länge: 242, Länge: 242, Breite: 172, Breite: 172, Höhe: 20, Höhe: 20, Gewicht: 600, Gewicht: 600, Produktform: Gebunden, Produktform: Gebunden, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Beinhaltet: B0000076710001 B0000076710002, Beinhaltet: B0000076710001 B0000076710002, Beinhaltet EAN: 9783446915220 9783446915237, Beinhaltet EAN: 9783446915220 9783446915237, Vorgänger EAN: 9783446407978, Vorgänger EAN: 9783446407978, eBook EAN: 9783446481282, eBook EAN: 9783446481282, Herkunftsland: DEUTSCHLAND (DE), Herkunftsland: DEUTSCHLAND (DE), Katalog: deutschsprachige Titel, Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0060, Relevanz: 0060, Unterkatalog: AK, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, Unterkatalog: Lagerartikel, WolkenId: 317644, WolkenId: 31764439,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Software Tools: Automatisierung im Software Engineering, Taschenbuch von Knut Hildebrand, Springer Berlin, 978-3-540-52628-5Software Tools: Automatisierung Im Software Engineering, Taschenbuch Von Knut Hildebrand, Springer Berlin, 978-3-540-52628-5, Seitenanzahl: 20754,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Maliszewski, M: Software zur Analyse steuerrelavanter Daten, Taschenbuch von Michael Maliszewski, VDM, 978-3-639-05789-8Maliszewski, M: Software Zur Analyse Steuerrelavanter Daten, Taschenbuch Von Michael Maliszewski, Vdm, 978-3-639-05789-8, Seitenanzahl: 10049,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Betriebliche Altersversorgung im Spannungsfeld von Portabilität und Verfallbarkeit, Taschenbuch von Peter Schwark, Nomos, 978-3-8329-2676-2
Betriebliche Altersversorgung Im Spannungsfeld Von Portabilität Und Verfallbarkeit, Taschenbuch Von Peter Schwark, Nomos, 978-3-8329-2676-2, Seitenanzahl: 259
49,00 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Portabilität-von-Java-Software-Taschenbuch:
-
Java Software Development with Event B, Fachbücher von Néstor Cataño Collazos"Java Software Development with Event B" ist ein Fachbuch, das sich mit der Anwendung formaler Methoden in der Softwareentwicklung beschäftigt. Es beleuchtet die Herausforderungen, die bei der Erstellung von Softwareanforderungen auftreten, insbesondere die Probleme der Mehrdeutigkeit und Widersprüchlichkeit, die häufig in informellen Anforderungen zu finden sind. Das Buch bietet einen strukturierten Ansatz zur Validierung von Softwareanforderungen in den frühen Phasen der Entwicklung, indem es die Verwendung von Event B und Refinement Calculus als zentrale formale Methoden hervorhebt. Der Autor, Néstor Cataño Collazos, führt die Leser durch den Prozess, beginnend mit der Formulierung von Benutzeranforderungen, über die Erstellung formaler Spezifikationen bis hin zur Implementierung und Testung von Prototypen. Dieses Buch ist eine wertvolle Ressource für Fachleute und Studierende, die ein tieferes Verständnis für die Anwendung formaler Methoden in der Softwareentwicklung erlangen möchten.29,95 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Ritter, M: JarBuilder - Software zur Verteilung von Java-App, Taschenbuch von Markus Ritter, VDM, 978-3-639-27671-8Ritter, M: Jarbuilder - Software Zur Verteilung Von Java-app, Taschenbuch Von Markus Ritter, Vdm, 978-3-639-27671-8, Seitenanzahl: 7649,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Vogt, Carsten: Von Java zu CVon Java zu C , - 2. Auflage des Klassikers "C für Java-Programmierer" - Systematische Einführung in C mit Konzentration auf die Unterschiede von C zu Java - Schnelleinstiege für eilige Leser:innen sowie zahlreiche Beispiele und Übungen - Umfangreicher Anhang zum Nachschlagen - Mit Zusatzmaterial: die Beispielprogramme aus dem Buch, die Lösungen der Übungsaufgaben und weitere Informationen - Ihr exklusiver Vorteil: E-Book inklusive beim Kauf des gedruckten Buches Das Buch gibt eine Einführung in die Programmiersprache C und setzt dabei Kenntnisse in der Sprache Java voraus. Java wird nämlich oft als erste Programmiersprache gelehrt, während in weiterführenden Studienfächern und in der Berufspraxis auch C eine wichtige Rolle spielt. Kompakte Schnelleinstiege zu Beginn der einzelnen Kapitel ermöglichen eine rasche Orientierung über die Möglichkeiten von C im Vergleich zu Java. Die Besonderheiten von C werden dann jeweils im Detail diskutiert. Profitieren wird man daher auch, wenn man schon einmal mit C in Berührung gekommen ist und nun seine Kenntnisse vertiefen möchte. Zwei Schwerpunkte des Buchs sind die Programmierung mit Zeigern/Pointern, die es in Java so nicht gibt, und von dynamischen Datenstrukturen, die Java durch vordefinierte Klassen bereitstellt. Zudem werden einfache und strukturierte Datentypen, Kontrollstrukturen, Funktionen, Ein-/Ausgabe und die C-Standardbibliothek behandelt. Viele Programmbeispiele zeigen die Anwendung der Konzepte. Anhand von Übungsaufgaben kann man sein neu erworbenes Wissen praktisch ausprobieren. AUS DEM INHALT // - Struktur und Übersetzung von C-Programmen - Kontrollstrukturen - Datenorganisation - Zeiger - Funktionen - Ein-/Ausgabe und Dateizugriffe - Dynamische Datenstrukturen - Standardbibliothek , Querlenker > Sportfederung , Auflage: 2., aktualisierte Auflage, Auflage: 2., aktualisierte Auflage, Erscheinungsjahr: 20240809, Erscheinungsjahr: 20240809, Produktform: Kassette, Produktform: Kassette, Inhalt/Anzahl: 1, Inhalt/Anzahl: 1, Inhalt/Anzahl: 1, Inhalt/Anzahl: 1, Autoren: Vogt, Carsten, Autoren: Vogt, Carsten, Auflage: 24002, Auflage: 24002, Auflage/Ausgabe: 2., aktualisierte Auflage, Auflage/Ausgabe: 2., aktualisierte Auflage, Seitenzahl/Blattzahl: 224, Seitenzahl/Blattzahl: 224, Keyword: Informatik; Java; Lehrbuch; Programmiersprachen; Programmierung, Keyword: Informatik; Java; Lehrbuch; Programmiersprachen; Programmierung, Fachschema: C (Programmiersprache)~Java (EDV)~Programmiersprachen, Fachschema: C (Programmiersprache)~Java (EDV)~Programmiersprachen, Bildungszweck: für die Hochschule, Bildungszweck: für die Hochschule, Warengruppe: HC/Programmiersprachen, Warengruppe: HC/Programmiersprachen, Fachkategorie: Programmier- und Skriptsprachen, allgemein, Fachkategorie: Programmier- und Skriptsprachen, allgemein, Thema: Verstehen, Thema: Verstehen, Text Sprache: ger, Text Sprache: ger, Sender’s product category: BUNDLE, Sender’s product category: BUNDLE, Verlag: Hanser Fachbuchverlag, Verlag: Hanser Fachbuchverlag, Verlag: Hanser Fachbuchverlag, Verlag: Hanser Fachbuchverlag, Verlag: Hanser, Carl, Verlag GmbH & Co. KG, Verlag: Hanser, Carl, Verlag GmbH & Co. KG, Länge: 242, Länge: 242, Breite: 172, Breite: 172, Höhe: 20, Höhe: 20, Gewicht: 600, Gewicht: 600, Produktform: Gebunden, Produktform: Gebunden, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Beinhaltet: B0000076710001 B0000076710002, Beinhaltet: B0000076710001 B0000076710002, Beinhaltet EAN: 9783446915220 9783446915237, Beinhaltet EAN: 9783446915220 9783446915237, Vorgänger EAN: 9783446407978, Vorgänger EAN: 9783446407978, eBook EAN: 9783446481282, eBook EAN: 9783446481282, Herkunftsland: DEUTSCHLAND (DE), Herkunftsland: DEUTSCHLAND (DE), Katalog: deutschsprachige Titel, Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0060, Relevanz: 0060, Unterkatalog: AK, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, Unterkatalog: Lagerartikel, WolkenId: 317644, WolkenId: 31764439,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Portabilität-von-Java-Software-Taschenbuch
-
Software Tools: Automatisierung im Software Engineering, Taschenbuch von Knut Hildebrand, Springer Berlin, 978-3-540-52628-5Software Tools: Automatisierung Im Software Engineering, Taschenbuch Von Knut Hildebrand, Springer Berlin, 978-3-540-52628-5, Seitenanzahl: 20754,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Maliszewski, M: Software zur Analyse steuerrelavanter Daten, Taschenbuch von Michael Maliszewski, VDM, 978-3-639-05789-8Maliszewski, M: Software Zur Analyse Steuerrelavanter Daten, Taschenbuch Von Michael Maliszewski, Vdm, 978-3-639-05789-8, Seitenanzahl: 10049,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Betriebliche Altersversorgung im Spannungsfeld von Portabilität und Verfallbarkeit, Taschenbuch von Peter Schwark, Nomos, 978-3-8329-2676-2Betriebliche Altersversorgung Im Spannungsfeld Von Portabilität Und Verfallbarkeit, Taschenbuch Von Peter Schwark, Nomos, 978-3-8329-2676-2, Seitenanzahl: 25949,00 €*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.