|
|
|
|
| LEADER |
01951nmm a22004455u 4500 |
| 001 |
vtls000359738 |
| 003 |
RU-ToGU |
| 005 |
20210922024725.0 |
| 007 |
cr nn 008mamaa |
| 008 |
120828s2005 xx j eng d |
| 020 |
|
|
|a 9783540317142
|
| 035 |
|
|
|a to000359738
|
| 039 |
|
9 |
|a 201208281831
|y 200905072250
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a Springer
|c Springer
|d RU-ToGU
|
| 100 |
1 |
|
|a Fitzgerald, John.
|9 321494
|
| 245 |
1 |
0 |
|a FM 2005: Formal Methods
|h Электронный ресурс
|b International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
|c edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.
|
| 260 |
|
|
|a Berlin Heidelberg :
|b Springer-Verlag GmbH.,
|c 2005
|9 729706
|
| 490 |
1 |
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 3582
|
| 650 |
|
0 |
|a Computer Science
|9 155490
|
| 650 |
|
0 |
|a Computer science
|9 155490
|
| 650 |
|
0 |
|a Computer science
|9 155490
|
| 650 |
|
0 |
|a Information systems
|9 303226
|
| 650 |
|
0 |
|a Logic design
|9 306256
|
| 650 |
|
0 |
|a Software engineering
|9 566225
|
| 650 |
1 |
4 |
|a Computer Science
|9 155490
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs
|9 306257
|
| 650 |
2 |
4 |
|a Management of Computing and Information Systems
|9 303227
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages
|9 303363
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters
|9 303287
|
| 650 |
2 |
4 |
|a Programming Techniques
|9 566312
|
| 650 |
2 |
4 |
|a Software Engineering
|9 566285
|
| 700 |
1 |
|
|a Hayes, Ian J.
|9 322470
|
| 700 |
1 |
|
|a Tarlecki, Andrzej
|9 322471
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|9 143950
|
| 773 |
0 |
|
|t Springer e-books
|
| 830 |
|
|
|a Lecture Notes in Computer Science,
|9 279505
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/b27882
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=236672
|
| 950 |
|
|
|a Computer Science (Springer-11645; ZDB-2-SCS)
|
| 999 |
|
|
|c 236672
|d 236672
|
