- Hauptmenü-

Katalogdatenanzeige

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Kataloginformation Katalogdatensatz500256205 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
ISBN	978-3-319-65764-6
Name	Abate, Alessandro ¬[Hrsg.]¬
Name	Geeraerts, Gilles ¬[Hrsg.]¬
Name ANZEIGE DER KETTE	Geeraerts, Gilles ¬[Hrsg.]¬
T I T E L	Formal Modeling and Analysis of Timed Systems
Zusatz zum Titel	15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Verlagsort	Cham
Verlag	Springer
Erscheinungsjahr	2017
Erscheinungsjahr	2017
Umfang	Online-Ressource (X, 353 p. 93 illus, online resource)
Reihe	Lecture Notes in Computer Science ; 10419
Reihe	Lecture notes in computer science
Band	10419
Titelhinweis	Druckausg.ISBN: 978-3-319-65764-6
ISBN	ISBN 978-3-319-65765-3
Klassifikation	*68-06
	68Qxx
	00B25
	UMB
	COM051300
	005.1
	518.1
	QA76.9.A43
Kurzbeschreibung	This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems
SWB-Titel-Idn	492997950
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-319-65765-3
Internetseite / Link	Volltext
Siehe auch	Cover
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500256205

Kategorien-Anzeige Katalogdatensatz500256205

Bände anzeigen Katalogdatensatz500256205

Titel zur Titelsammlung hinzufügen Katalogdatensatz500256205

Kataloginformation500256205 Datensatzanfang . Kataloginformation500256205 Seitenanfang .

Titel vormerken Katalogdatensatz500256205

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.