|
|
|
|
| LEADER |
00966nam a22002657a 4500 |
| 005 |
20190426155556.0 |
| 006 |
a|||||r|||| 00| 0 |
| 007 |
ta |
| 008 |
190322b xxu||||| |||| 00| 0 eng d |
| 999 |
|
|
|c 35149
|d 35149
|
| 020 |
|
|
|a 9783319640204
|
| 040 |
|
|
|a AR-RiUNS
|
| 082 |
|
|
|2 21 ES
|a 511.3
|
| 900 |
|
|
|a AM
|
| 100 |
|
|
|9 3599
|a O'Regan, Gerard
|
| 245 |
|
|
|a Concise guide to formal methods :
|b theory, fundamentals and industry applications /
|c Gerard O'Regan
|
| 260 |
|
|
|a Cham, Switzerland:
|b Springer,
|c 2017 (c)
|
| 300 |
|
|
|a xxvi, 322 p.:
|b il. (algunas col.), diagrs., fots.;
|c 24 cm.
|
| 490 |
|
|
|a Undergraduate topics in computer science
|
| 504 |
|
|
|a Bibliografía al final de capítulos
|
| 650 |
|
0 |
|2 LEMB.1
|9 1199
|a AUTOMATH (LENGUAJE FORMAL)
|
| 650 |
|
0 |
|2 LEMB.1
|9 3600
|a AUTOMATIZACION
|
| 650 |
|
0 |
|2 LEMB.1
|9 343
|a INGENIERIA DE SOFTWARE
|
| 830 |
|
|
|9 3601
|a Undergraduate topics in computer science
|
| 942 |
|
|
|2 ddc
|c LIB
|h 511.3
|i O66
|6 511_300000000000000_O66
|