Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Leveraging Applications of Formal Methods, Verification and Validation. Practice

E-BookPDF1 - PDF WatermarkE-Book
424 Seiten
Englisch
Springer International Publishingerschienen am19.10.20221st ed. 2022
Verfügbare Formate
BuchKartoniert, Paperback
EUR69,54
E-BookPDF1 - PDF WatermarkE-Book
EUR69,54

Produkt

Details
Weitere ISBN/GTIN9783031197628
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2022
Erscheinungsdatum19.10.2022
Auflage1st ed. 2022
ReiheLecture Notes in Computer Science
Reihen-Nr.13704
Seiten424 Seiten
SpracheEnglisch
IllustrationenXIII, 424 p. 126 illus., 98 illus. in color.
Artikel-Nr.9985772
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Digital Twin Engineering.- Digital Thread in Smart Manufacturing.- Formal Methods for DIStributed COmputing in Future RAILway Systems.- Industrial Day.mehr

Autor