|
|
|
|
| LEADER |
00798cam a2200193 7i4500 |
| 001 |
0000124499 |
| 005 |
20160309090000.0 |
| 008 |
150910 nyu n eng |
| 020 |
# |
0 |
|a 9783319150741
|
| 090 |
0 |
0 |
|a QA 76.9
|b .F6 2015
|
| 245 |
0 |
0 |
|a Formal methods: foundations and applications :
|b 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings
|c Christiano Braga [et al.], (eds.)..
|
| 260 |
# |
# |
|a Cham:
|b Springer International Publishing,
|c 2015.
|
| 300 |
# |
# |
|a ix, 179 pages.:
|b ill.;
|c 24 cm..
|
| 504 |
0 |
0 |
|a Bibliography
|
| 590 |
# |
# |
|a Pusat Pengajian Informatik dan Matematik Gunaan
|
| 650 |
0 |
0 |
|a Formal methods (Computer science)
|
| 700 |
1 |
1 |
|a Braga, Christiano
|
| 700 |
1 |
1 |
|a Mart Oliet, Narciso
|
| 999 |
|
|
|a 1100095349
|b Book
|c Open Shelf
|e KOLEKSI TERBUKA
|
