Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday. The...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Lohstroh, Marten (Editor, http://id.loc.gov/vocabulary/relators/edt), Derler, Patricia (Editor, http://id.loc.gov/vocabulary/relators/edt), Sirjani, Marjan (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Series: | Programming and Software Engineering ;
10760 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
High Performance Computing for Computational Science - VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
Published: (2019) -
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
Published: (2018) -
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
Published: (2018) -
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
Published: (2018) -
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
Published: (2018)