LEADER 01755nmm a22003975u 4500
001 vtls000363446
003 RU-ToGU
005 20210922030140.0
007 cr nn 008mamaa
008 120829s2007 xx j eng d
020 |a 9783540766377 
035 |a to000363446 
039 9 |a 201208291023  |y 200905080004  |z Александр Эльверович Гилязов 
040 |a Springer  |c Springer  |d RU-ToGU 
100 1 |a Shao, Zhong.  |9 331305 
245 1 0 |a Programming Languages and Systems  |h Электронный ресурс  |b 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /  |c edited by Zhong Shao. 
260 |a Berlin, Heidelberg :  |b Springer-Verlag Berlin Heidelberg,  |c 2007.  |9 729705 
490 1 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 4807 
650 0 |a Computer Science  |9 155490 
650 0 |a Logic design  |9 306256 
650 0 |a Operating systems (Computers)  |9 303025 
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 Mathematical Logic and Formal Languages  |9 303363 
650 2 4 |a Operating Systems  |9 303029 
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 
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/978-3-540-76637-7 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=241297 
950 |a Computer Science (Springer-11645; ZDB-2-SCS) 
999 |c 241297  |d 241297