Abstract State Machines, B and Z Электронный ресурс : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / /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, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.

Hutchison, David.
Публикация
Berlin, Heidelberg : : Springer-Verlag Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Boca, Paul.
Börger, Egon.
Bowen, Jonathan P.
Butler, Michael.
Kanade, Takeo.
Kittler, Josef.
Kleinberg, Jon M.
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 ; 5238
Всего оценка: 0
Нет записей для отображения.
 
 
 
02569nmm a22006015u 4500
001
 
 
vtls000364285
003
 
 
RU-ToGU
005
 
 
20120829134400.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540876038
035
$a to000364285
039
9
$a 201208291344 $b VLOAD $c 201201121041 $d cat07 $y 200905082105 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Hutchison, David.
245
1
0
$a Abstract State Machines, B and Z $h Электронный ресурс $b First International Conference, ABZ 2008, London, UK, September 16-18, 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, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2008.
490
1
0
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5238
650
0
$a Computer Science
650
0
$a Database management
650
0
$a Logic design
650
0
$a Software engineering
650
1
4
$a Computer Science
650
2
4
$a Database Management
650
2
4
$a Logics and Meanings of Programs
650
2
4
$a Mathematical Logic and Formal Languages
650
2
4
$a Programming Languages, Compilers, Interpreters
650
2
4
$a Software Engineering
700
1
$a Boca, Paul.
700
1
$a Börger, Egon.
700
1
$a Bowen, Jonathan P.
700
1
$a Butler, Michael.
700
1
$a Kanade, Takeo.
700
1
$a Kittler, Josef.
700
1
$a Kleinberg, Jon M.
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-87603-8
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
999
$a VTLSSORT0010*0030*0050*0070*0080*0200*0350*0390*0400*1000*2450*2600*4400*6500*6501*6502*6503*6504*6505*6506*6507*6508*6509*7000*7001*7002*7003*7004*7005*7006*7007*7008*7009*70010*70011*70012*70013*70014*70015*70016*70017*7100*7730*8560*9500*9992
Нет комментариев.
Предмет
Computer Science
Database management
Logic design
Software engineering
Computer Science
Database Management
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering