|
|
|
|
| LEADER |
00901nam a2200229 a 4500 |
| 001 |
1787546 |
| 005 |
20171111234534.0 |
| 008 |
121031s2013 njua sb 001 0 eng d |
| 020 |
|
|
|z 9781848214477
|
| 040 |
|
|
|a CaPaEBR
|z 9781118569405 (e-book)
|
| 050 |
1 |
4 |
|a TK7895.E42
|b A53 2013eb
|
| 100 |
1 |
|
|a Andrβe, Etienne.
|
| 245 |
1 |
4 |
|a The inverse method
|b parametric verification of real-time embedded systems /
|c βEtienne Andrβe, Romain Soulat.
|
| 260 |
|
|
|a Hoboken, N.J. :
|b ISTE Ltd./John Wiley and Sons Inc.,
|c 2013.
|
| 300 |
|
|
|a xviii, 150 p. :
|b ill.
|
| 490 |
0 |
|
|a Focus series in computer engineering and IT,
|x 2051-2481
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Embedded computer systems.
|
| 700 |
1 |
|
|a Soulat, Romain.
|
| 710 |
2 |
|
|a ebrary, Inc.
|
| 856 |
4 |
0 |
|u http://site.ebrary.com/lib/ucy/Doc?id=10661503
|
| 952 |
|
|
|a CY-NiOUC
|b 5a0457af6c5ad14ac1ecfdc6
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|
