Domain mobiler-autoservice.de kaufen?
Wir ziehen mit dem Projekt
mobiler-autoservice.de um.
Sind Sie am Kauf der Domain
mobiler-autoservice.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain mobiler-autoservice.de kaufen?
B 2007: Formal Specification and Develo, Fachbücher von Olga Kouchnarenko, Jacques Julliand
Das Fachbuch "B 2007: Formal Specification and Development in B" dokumentiert die Beiträge der siebten Internationalen Konferenz der B-Nutzer, die in Besançon, Frankreich, stattfand. Diese Konferenz baute auf den Erfolgen der vorherigen Veranstaltungen auf und brachte Fachleute aus verschiedenen Ländern zusammen, um über formale Spezifikationen und deren Entwicklung zu diskutieren. Die Beiträge wurden von Experten aus der Industrie und der Wissenschaft präsentiert und durchliefen einen strengen Peer-Review-Prozess. Das Buch bietet wertvolle Einblicke in die Anwendung der B-Spezifikationssprache und deren Relevanz für die Softwareentwicklung. Es ist ein unverzichtbares Werk für alle, die sich mit formalen Methoden in der Informatik beschäftigen und die neuesten Entwicklungen in diesem Bereich verfolgen möchten.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-B-2007-Formal
Top-Angebote
Produkte zum Begriff Springer-B-2007-Formal:
-
Springer Formal Techniques for Networked and Distributed Systems - FORTE 2007 (Englisch, Softcover, John Derrick, Jüri Vain) (55512670)Springer Formal Techniques for Networked and Distributed Systems - FORTE 2007 (Englisch, Softcover, John Derrick, Jüri Vain) (55512670)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Donner, Jochen: E-MTB: Wartung, Pflege & ReparaturE-MTB: Wartung, Pflege & Reparatur , Sitzposition, Motor, Schaltung, Bremsen, Federung, Laufräder , Befestigungs- & Spanngurte > Transportsysteme , Auflage: Nachdruck, Erscheinungsjahr: 20180319, Produktform: Kartoniert, Autoren: Donner, Jochen~Simon, Daniel, Auflage/Ausgabe: Nachdruck, Seitenzahl/Blattzahl: 143, Abbildungen: 200 farbige Fotos, Keyword: elektrofahrrad; e mountainbike; e mtb; e bike mountainbike; e bike mtb; elektrorad; mtb e bike; elektrovelo; mountain e bike; e mountain bike, Fachschema: E-Bike - Pedelec~Fahrrad / Mountain-Bike~Mountain-Bike~Fahrrad - Rad~Velociped~Fahrzeug - Fahrzeugbau - Fahrzeugtechnik, Fachkategorie: Fahrräder und nicht-motorisierte Verkehrsmittel: Ratgeber, Sachbuch (Wartung)~Radfahren: Allgemein und Touring~Motorsport, Radsport, Vehikelsport, Thema: Orientieren, Warengruppe: HC/Fahrrad, Fachkategorie: Wartung und Instandhaltung von Fahrzeugen und Handbuch, Thema: Verstehen, Text Sprache: ger, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Delius Klasing Vlg GmbH, Verlag: Delius Klasing Vlg GmbH, Verlag: Delius Klasing, Länge: 241, Breite: 166, Höhe: 12, Gewicht: 415, Produktform: Kartoniert, Genre: Sachbuch/Ratgeber, Genre: Sachbuch/Ratgeber, Herkunftsland: SLOWAKEI (SK), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0025, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 176062622,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Springer-B-2007-Formal:
-
B 2007: Formal Specification and Develo, Fachbücher von Olga Kouchnarenko, Jacques JulliandDas Fachbuch "B 2007: Formal Specification and Development in B" dokumentiert die Beiträge der siebten Internationalen Konferenz der B-Nutzer, die in Besançon, Frankreich, stattfand. Diese Konferenz baute auf den Erfolgen der vorherigen Veranstaltungen auf und brachte Fachleute aus verschiedenen Ländern zusammen, um über formale Spezifikationen und deren Entwicklung zu diskutieren. Die Beiträge wurden von Experten aus der Industrie und der Wissenschaft präsentiert und durchliefen einen strengen Peer-Review-Prozess. Das Buch bietet wertvolle Einblicke in die Anwendung der B-Spezifikationssprache und deren Relevanz für die Softwareentwicklung. Es ist ein unverzichtbares Werk für alle, die sich mit formalen Methoden in der Informatik beschäftigen und die neuesten Entwicklungen in diesem Bereich verfolgen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Formal Techniques for Networked and Distributed Systems - FORTE 2007 (Englisch, Softcover, John Derrick, Jüri Vain) (55512670)Springer Formal Techniques for Networked and Distributed Systems - FORTE 2007 (Englisch, Softcover, John Derrick, Jüri Vain) (55512670)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Donner, Jochen: E-MTB: Wartung, Pflege & ReparaturE-MTB: Wartung, Pflege & Reparatur , Sitzposition, Motor, Schaltung, Bremsen, Federung, Laufräder , Befestigungs- & Spanngurte > Transportsysteme , Auflage: Nachdruck, Erscheinungsjahr: 20180319, Produktform: Kartoniert, Autoren: Donner, Jochen~Simon, Daniel, Auflage/Ausgabe: Nachdruck, Seitenzahl/Blattzahl: 143, Abbildungen: 200 farbige Fotos, Keyword: elektrofahrrad; e mountainbike; e mtb; e bike mountainbike; e bike mtb; elektrorad; mtb e bike; elektrovelo; mountain e bike; e mountain bike, Fachschema: E-Bike - Pedelec~Fahrrad / Mountain-Bike~Mountain-Bike~Fahrrad - Rad~Velociped~Fahrzeug - Fahrzeugbau - Fahrzeugtechnik, Fachkategorie: Fahrräder und nicht-motorisierte Verkehrsmittel: Ratgeber, Sachbuch (Wartung)~Radfahren: Allgemein und Touring~Motorsport, Radsport, Vehikelsport, Thema: Orientieren, Warengruppe: HC/Fahrrad, Fachkategorie: Wartung und Instandhaltung von Fahrzeugen und Handbuch, Thema: Verstehen, Text Sprache: ger, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Delius Klasing Vlg GmbH, Verlag: Delius Klasing Vlg GmbH, Verlag: Delius Klasing, Länge: 241, Breite: 166, Höhe: 12, Gewicht: 415, Produktform: Kartoniert, Genre: Sachbuch/Ratgeber, Genre: Sachbuch/Ratgeber, Herkunftsland: SLOWAKEI (SK), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0025, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 176062622,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-B-2007-Formal
* 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.