Domain africastore24.de kaufen?
Wir ziehen mit dem Projekt
africastore24.de um.
Sind Sie am Kauf der Domain
africastore24.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain africastore24.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
-
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
Die grenzüberschreitende Portabilität von On-Demand-Streaming-Diensten, Taschenbuch von Michael Eginger, Peter Lang GmbH, Internationaler Verlag der
Die Grenzüberschreitende Portabilität Von On-demand-streaming-diensten, Taschenbuch Von Michael Eginger, Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften, 978-3-631-82948-6, Seitenanzahl: 388
90,80 €*
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
-
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
-
Die grenzüberschreitende Portabilität von On-Demand-Streaming-Diensten, Taschenbuch von Michael Eginger, Peter Lang GmbH, Internationaler Verlag derDie Grenzüberschreitende Portabilität Von On-demand-streaming-diensten, Taschenbuch Von Michael Eginger, Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften, 978-3-631-82948-6, Seitenanzahl: 38890,80 €*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.