Eintrag weiter verarbeiten
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Gespeichert in:
| Personen und Körperschaften: | , |
|---|---|
| Titel: | Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction/ edited by Sandeep K. Shukla, Jean-Pierre Talpin |
| Format: | E-Book |
| Sprache: | Englisch |
| veröffentlicht: |
Boston, MA
Springer US
2010
|
| Gesamtaufnahme: |
SpringerLink |
| Schlagwörter: | |
| Quelle: | Verbunddaten SWB |
| Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |