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.

Formal Modeling and Analysis of Timed Systems

E-BookPDF1 - PDF WatermarkE-Book
307 Seiten
Englisch
Springer International Publishingerschienen am28.08.20221st ed. 2022
Verfügbare Formate
BuchKartoniert, Paperback
EUR58,84
E-BookPDF1 - PDF WatermarkE-Book
EUR58,84

Produkt

Details
Weitere ISBN/GTIN9783031158391
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2022
Erscheinungsdatum28.08.2022
Auflage1st ed. 2022
ReiheLecture Notes in Computer Science
Reihen-Nr.13465
Seiten307 Seiten
SpracheEnglisch
IllustrationenXVII, 307 p. 60 illus., 34 illus. in color.
Artikel-Nr.9720126
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Invited Papers.- Probabilistic and Timed Systems.- Temporal Logic.- Timed Automata and Games.- Neural Networks.- Reinforcement Learning.mehr