inglês
| Other Authors: | Shukla, Sandeep K. editor |
|---|---|
| Published: |
New York : Springer,
2010
|
| Subjects: | |
| Online Access: |
https://consultaredebie.decex.eb.mil.br/pergamum/biblioteca/index.php?codAcervo=426477 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
ir-perga-oai-426477 |
|---|---|
| recordtype |
dspace |
| spelling |
ir-perga-oai-4264772019-03-07T15:13:09Z inglês Synthesis of embedded software : frameworks and methodologies for correctness by construction 004.2 22.ed. Sistema embarcado - síntese New York : Springer, Shukla, Sandeep K. editor Talpin, Jean-Pierre editor 2010. https://consultaredebie.decex.eb.mil.br/pergamum/biblioteca/index.php?codAcervo=426477 |
| institution |
REDEBIE |
| collection |
REDEBIE |
| topic |
004.2 22.ed. Sistema embarcado - síntese |
| spellingShingle |
004.2 22.ed. Sistema embarcado - síntese inglês |
| author2 |
Shukla, Sandeep K. editor |
| title |
inglês |
| title_short |
inglês |
| title_full |
inglês |
| title_fullStr |
inglês |
| title_full_unstemmed |
inglês |
| title_sort |
inglês |
| publisher |
New York : Springer, |
| publishDate |
2010 |
| url |
https://consultaredebie.decex.eb.mil.br/pergamum/biblioteca/index.php?codAcervo=426477 |
| _version_ |
1641979888279748608 |
| score |
13.657419 |