LEADER 02723nmm a22005895u 4500
001 vtls000364354
003 RU-ToGU
005 20210922030406.0
007 cr nn 008mamaa
008 120829s2008 xx j eng d
020 |a 9783540881940 
035 |a to000364354 
039 9 |a 201208291406  |y 200905082106  |z Александр Эльверович Гилязов 
040 |a Springer  |c Springer  |d RU-ToGU 
100 1 |a Hutchison, David.  |9 81687 
245 1 0 |a Formal Methods and Software Engineering  |h Электронный ресурс  |b 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /  |c edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Shaoying Liu, Tom Maibaum, Keijiro Araki. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2008.  |9 719423 
490 1 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 5256 
650 0 |a Computer Science  |9 155490 
650 0 |a Computer software  |9 303280 
650 0 |a Software engineering  |9 566225 
650 1 4 |a Computer Science  |9 155490 
650 2 4 |a Algorithm Analysis and Problem Complexity  |9 303732 
650 2 4 |a Mathematical Logic and Formal Languages  |9 303363 
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 
700 1 |a Araki, Keijiro.  |9 323950 
700 1 |a Kanade, Takeo.  |9 81641 
700 1 |a Kittler, Josef.  |9 81663 
700 1 |a Kleinberg, Jon M.  |9 325290 
700 1 |a Liu, Shaoying.  |9 332701 
700 1 |a Maibaum, Tom.  |9 327736 
700 1 |a Mattern, Friedemann.  |9 324294 
700 1 |a Mitchell, John C.  |9 325291 
700 1 |a Naor, Moni.  |9 81688 
700 1 |a Nierstrasz, Oscar.  |9 320138 
700 1 |a Pandu Rangan, C.  |9 325292 
700 1 |a Steffen, Bernhard.  |9 325293 
700 1 |a Sudan, Madhu.  |9 81689 
700 1 |a Terzopoulos, Demetri.  |9 81690 
700 1 |a Tygar, Doug.  |9 81691 
700 1 |a Vardi, Moshe Y.  |9 319449 
700 1 |a Weikum, Gerhard.  |9 81692 
710 2 |a SpringerLink (Online service)  |9 143950 
773 0 |t Springer eBooks 
830 |a Lecture Notes in Computer Science,  |9 279505 
856 4 0 |u http://dx.doi.org/10.1007/978-3-540-88194-0 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=242094 
950 |a Computer Science (Springer-11645; ZDB-2-SCS) 
999 |c 242094  |d 242094