Runtime Verification Электронный ресурс : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / /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, Martin Leucker.

Hutchison, David.
Публикация
Berlin, Heidelberg : : Springer Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Kanade, Takeo.
Kittler, Josef.
Kleinberg, Jon M.
Leucker, Martin.
Mattern, Friedemann.
Mitchell, John C.
Naor, Moni.
Nierstrasz, Oscar.
Pandu Rangan, C.
Steffen, Bernhard.
Sudan, Madhu.
Terzopoulos, Demetri.
Tygar, Doug.
Vardi, Moshe Y.
Weikum, Gerhard.
Источник
Springer eBooks
Серия
Lecture Notes in Computer Science, 0302-9743 ; 5289
Всего оценка: 0
Нет записей для отображения.
 
 
 
02276nmm a22005895u 4500
001
 
 
vtls000364432
003
 
 
RU-ToGU
005
 
 
20120829143100.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540892472
035
$a to000364432
039
9
$a 201208291431 $b VLOAD $y 200905082108 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Hutchison, David.
245
1
0
$a Runtime Verification $h Электронный ресурс $b 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / $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, Martin Leucker.
260
$a Berlin, Heidelberg : $b Springer Berlin Heidelberg, $c 2008.
490
1
0
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5289
650
0
$a Computer Science
650
0
$a Computer software
650
0
$a Computer system performance
650
0
$a Logic design
650
0
$a Operating systems (Computers)
650
0
$a Software engineering
650
1
4
$a Computer Science
650
2
4
$a Algorithm Analysis and Problem Complexity
650
2
4
$a Logics and Meanings of Programs
650
2
4
$a Performance and Reliability
650
2
4
$a Programming Languages, Compilers, Interpreters
650
2
4
$a Software Engineering
650
2
4
$a System Performance and Evaluation
700
1
$a Kanade, Takeo.
700
1
$a Kittler, Josef.
700
1
$a Kleinberg, Jon M.
700
1
$a Leucker, Martin.
700
1
$a Mattern, Friedemann.
700
1
$a Mitchell, John C.
700
1
$a Naor, Moni.
700
1
$a Nierstrasz, Oscar.
700
1
$a Pandu Rangan, C.
700
1
$a Steffen, Bernhard.
700
1
$a Sudan, Madhu.
700
1
$a Terzopoulos, Demetri.
700
1
$a Tygar, Doug.
700
1
$a Vardi, Moshe Y.
700
1
$a Weikum, Gerhard.
710
2
$a SpringerLink (Online service)
773
0
$t Springer eBooks
830
#
$a Lecture Notes in Computer Science,
856
4
0
$u http://dx.doi.org/10.1007/978-3-540-89247-2
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
Нет комментариев.
Предмет
Computer Science
Computer software
Computer system performance
Logic design
Operating systems (Computers)
Software engineering
Computer Science
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Performance and Reliability
Programming Languages, Compilers, Interpreters
Software Engineering
System Performance and Evaluation