Domain jsas.de kaufen?
Wir ziehen mit dem Projekt
jsas.de um.
Sind Sie am Kauf der Domain
jsas.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain jsas.de kaufen?
Formal Methods and Software Engineering, Fachbücher von Zhenhua Duan, Luke Ong
Das Buch "Formal Methods and Software Engineering" dokumentiert die refereed Proceedings der 19. Internationalen Konferenz zu Formal Engineering Methods (ICFEM 2017), die im November 2017 in Xi'an, China, stattfand. Es umfasst 28 überarbeitete Volltexte, die aus 80 eingereichten Arbeiten ausgewählt wurden, sowie eine eingeladene Rede und zwei Abstracts eingeladener Vorträge. Die Konferenz behandelt umfassend Themen, die mit formalen Ingenieurmethoden in Verbindung stehen, einschliesslich Verifikation und Validierung, Softwaretechnik, formale Spezifikation und Modellierung, Software-Sicherheit und Software-Zuverlässigkeit. Dieses Fachbuch richtet sich an Fachleute und Studierende, die sich mit den neuesten Entwicklungen und Forschungen in diesen Bereichen auseinandersetzen möchten.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Methods
Top-Angebote
Produkte zum Begriff Methods:
-
Bell, Emma: Business Research MethodsBusiness Research Methods , The clearest, most relevant guide, written specifically to engage business students taking research methods courses or completing a research project. The sixth edition offers extensively-revised global examples throughout, as well as unique interviews with students and educators providing invaluable real-world insights and advice. , > , Auflage: 6. Auflage, Erscheinungsjahr: 20220330, Produktform: Kartoniert, Autoren: Bell, Emma~Harley, Bill~Bryman, Alan, Auflage: 22006, Auflage/Ausgabe: 6. Auflage, Seitenzahl/Blattzahl: 696, Fachschema: Betriebswirtschaft - Betriebswirtschaftslehre~Englische Bücher / Wirtschaft, Business~Ökonomie~Wirtschaftswissenschaft~Erforschung~Forschung~Kommunikationswissenschaft~Business / Management~Management~Management / Personalmanagement~Personalmanagement~Personalpolitik~Personalwirtschaft~Beruf / Karriere~Karriere~Knowledge Management~Management / Wissensmanagement~Wissensmanagement, Fachkategorie: Betriebswirtschaftslehre, allgemein~Forschungsmethoden, allgemein~Kommunikationswissenschaft~Ratgeber: Karriere und Erfolg~Wissensmanagement, Bildungszweck: für die Hochschule, Warengruppe: HC/Wirtschaft/Management, Fachkategorie: Personalmanagement, HRM, Text Sprache: eng, Seitenanzahl: XL, Seitenanzahl: 647, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Oxford University Press, Verlag: Oxford University Press, Länge: 265, Breite: 196, Höhe: 31, Gewicht: 1474, Produktform: Kartoniert, Genre: Importe, Genre: Importe, Vorgänger: 2655948, Vorgänger EAN: 9780198809876 9780199668649 9780199583409 9780199284986, 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: 2345974,07 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Software Engineering and Formal Methods, Fachbücher von Elena Gómez-Martínez, Domenico BianculliDas Buch "Software Engineering and Formal Methods" ist eine umfassende Sammlung von Beiträgen, die im Rahmen der 23. Internationalen Konferenz für Software Engineering und formale Methoden (SEFM 2025) in Toledo, Spanien, präsentiert werden. Herausgegeben von Elena Gómez-Martínez und Domenico Bianculli, bietet es einen tiefen Einblick in aktuelle Entwicklungen und Forschungsergebnisse im Bereich Technik und IT. Mit einem kartonierten Einband und einer Seitenanzahl von 261 ist das Werk sowohl für Fachleute als auch für Studierende von Interesse, die sich mit den neuesten Trends und Methoden im Software Engineering auseinandersetzen möchten. Die Konferenzbeiträge sind in englischer Sprache verfasst und reflektieren die neuesten wissenschaftlichen Erkenntnisse und praktischen Anwendungen in diesem dynamischen Bereich. Das Buch ist im Jahr 2025 erschienen und stammt aus den Niederlanden, was es zu einer wertvollen Ressource für alle macht, die sich mit formalen Methoden und deren Anwendung in der Softwareentwicklung beschäftigen.79,17 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Methods:
-
Formal Methods and Software Engineering, Fachbücher von Zhenhua Duan, Luke OngDas Buch "Formal Methods and Software Engineering" dokumentiert die refereed Proceedings der 19. Internationalen Konferenz zu Formal Engineering Methods (ICFEM 2017), die im November 2017 in Xi'an, China, stattfand. Es umfasst 28 überarbeitete Volltexte, die aus 80 eingereichten Arbeiten ausgewählt wurden, sowie eine eingeladene Rede und zwei Abstracts eingeladener Vorträge. Die Konferenz behandelt umfassend Themen, die mit formalen Ingenieurmethoden in Verbindung stehen, einschliesslich Verifikation und Validierung, Softwaretechnik, formale Spezifikation und Modellierung, Software-Sicherheit und Software-Zuverlässigkeit. Dieses Fachbuch richtet sich an Fachleute und Studierende, die sich mit den neuesten Entwicklungen und Forschungen in diesen Bereichen auseinandersetzen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Bell, Emma: Business Research MethodsBusiness Research Methods , The clearest, most relevant guide, written specifically to engage business students taking research methods courses or completing a research project. The sixth edition offers extensively-revised global examples throughout, as well as unique interviews with students and educators providing invaluable real-world insights and advice. , > , Auflage: 6. Auflage, Erscheinungsjahr: 20220330, Produktform: Kartoniert, Autoren: Bell, Emma~Harley, Bill~Bryman, Alan, Auflage: 22006, Auflage/Ausgabe: 6. Auflage, Seitenzahl/Blattzahl: 696, Fachschema: Betriebswirtschaft - Betriebswirtschaftslehre~Englische Bücher / Wirtschaft, Business~Ökonomie~Wirtschaftswissenschaft~Erforschung~Forschung~Kommunikationswissenschaft~Business / Management~Management~Management / Personalmanagement~Personalmanagement~Personalpolitik~Personalwirtschaft~Beruf / Karriere~Karriere~Knowledge Management~Management / Wissensmanagement~Wissensmanagement, Fachkategorie: Betriebswirtschaftslehre, allgemein~Forschungsmethoden, allgemein~Kommunikationswissenschaft~Ratgeber: Karriere und Erfolg~Wissensmanagement, Bildungszweck: für die Hochschule, Warengruppe: HC/Wirtschaft/Management, Fachkategorie: Personalmanagement, HRM, Text Sprache: eng, Seitenanzahl: XL, Seitenanzahl: 647, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Oxford University Press, Verlag: Oxford University Press, Länge: 265, Breite: 196, Höhe: 31, Gewicht: 1474, Produktform: Kartoniert, Genre: Importe, Genre: Importe, Vorgänger: 2655948, Vorgänger EAN: 9780198809876 9780199668649 9780199583409 9780199284986, 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: 2345974,07 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Methods
-
Software Engineering and Formal Methods, Fachbücher von Elena Gómez-Martínez, Domenico BianculliDas Buch "Software Engineering and Formal Methods" ist eine umfassende Sammlung von Beiträgen, die im Rahmen der 23. Internationalen Konferenz für Software Engineering und formale Methoden (SEFM 2025) in Toledo, Spanien, präsentiert werden. Herausgegeben von Elena Gómez-Martínez und Domenico Bianculli, bietet es einen tiefen Einblick in aktuelle Entwicklungen und Forschungsergebnisse im Bereich Technik und IT. Mit einem kartonierten Einband und einer Seitenanzahl von 261 ist das Werk sowohl für Fachleute als auch für Studierende von Interesse, die sich mit den neuesten Trends und Methoden im Software Engineering auseinandersetzen möchten. Die Konferenzbeiträge sind in englischer Sprache verfasst und reflektieren die neuesten wissenschaftlichen Erkenntnisse und praktischen Anwendungen in diesem dynamischen Bereich. Das Buch ist im Jahr 2025 erschienen und stammt aus den Niederlanden, was es zu einer wertvollen Ressource für alle macht, die sich mit formalen Methoden und deren Anwendung in der Softwareentwicklung beschäftigen.79,17 €*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.