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

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

Weitere Versionen anzeigen (1)
Gespeichert in:
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:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ähnliche Einträge