From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

Bibliographische Detailangaben

Weitere Verfasser:	Bartocci, Ezio (HerausgeberIn), Cleaveland, Rance (HerausgeberIn), Grosu, Radu (HerausgeberIn), Sokolsky, Oleg (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2019]
Schriftenreihe:	Lecture notes in computer science 11500
Schlagworte:	Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence System Performance and Evaluation Logic design Computer science Software engineering Artificial intelligence Computer system performance Festschrift
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!