|
|
|
|
| LEADER |
01932nmm a22004095u 4500 |
| 001 |
vtls000354902 |
| 003 |
RU-ToGU |
| 005 |
20210922023558.0 |
| 007 |
cr nn 008mamaa |
| 008 |
120828s2005 xx j eng d |
| 020 |
|
|
|a 9781402035326
|
| 035 |
|
|
|a to000354902
|
| 039 |
|
9 |
|a 201306071033
|c 201208280441
|d VLOAD
|y 200905062335
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a Springer
|c Springer
|d RU-ToGU
|
| 100 |
1 |
|
|a Broy, Manfred.
|9 315391
|
| 245 |
1 |
0 |
|a Engineering Theories of Software Intensive Systems
|h Электронный ресурс
|b Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 /
|c edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.
|
| 260 |
|
|
|a Dordrecht :
|b Springer,
|c 2005.
|9 728331
|
| 490 |
1 |
|
|a NATO Science Series, Series II: Mathematics, Physics and Chemistry,
|x 1568-2609 ;
|v 195
|
| 650 |
|
0 |
|a Computer Science
|9 155490
|
| 650 |
|
0 |
|a Information theory
|9 303504
|
| 650 |
|
0 |
|a Software engineering
|9 566225
|
| 650 |
1 |
4 |
|a Computer Science
|9 155490
|
| 650 |
2 |
4 |
|a Models and Principles
|9 303228
|
| 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
|
| 650 |
2 |
4 |
|a Theory of Computation
|9 303507
|
| 700 |
1 |
|
|a Grünbauer, Johannes.
|9 315392
|
| 700 |
1 |
|
|a Harel, David.
|9 315393
|
| 700 |
1 |
|
|a Hoare, Tony.
|9 315394
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|9 143950
|
| 773 |
0 |
|
|t Springer e-books
|
| 830 |
|
0 |
|a NATO Science Series, Series II: Mathematics, Physics and Chemistry,
|9 311514
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/1-4020-3532-2
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=233099
|
| 950 |
|
|
|a Computer Science (Springer-11645; ZDB-2-SCS)
|
| 999 |
|
|
|c 233099
|d 233099
|
