From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

Gespeichert in:
1. Verfasser:
Bensalem, Saddek
Weitere Verfasser:
Lakhneck, Yassine (HerausgeberIn), Legay, Axel (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2014
Umfang:
XII, 279 p. 76 illus
ISBN:
9783642548482
ISSN:
0302-9743
Schlagworte:
Programmierung
Softwareentwicklung
Systemmodell
Systementwurf
Formale Methode
Computer science
Software engineering
Logic design
Bezugswerke:
Links: