Mathematics of Program Construction Электронный ресурс : 9th International Conference, MPC 2008, Marseille, France, July 15-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, Philippe Audebaud, Christine Paulin-Mohring.

Hutchison, David.
Публикация
Berlin, Heidelberg : : Springer-Verlag Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Audebaud, Philippe.
Kanade, Takeo.
Kittler, Josef.
Kleinberg, Jon M.
Mattern, Friedemann.
Mitchell, John C.
Naor, Moni.
Nierstrasz, Oscar.
Pandu Rangan, C.
Paulin-Mohring, Christine.
Steffen, Bernhard.
Sudan, Madhu.
Terzopoulos, Demetri.
Tygar, Doug.
Vardi, Moshe Y.
Weikum, Gerhard.
Источник
Springer eBooks
Серия
Lecture Notes in Computer Science, 0302-9743 ; 5133
Всего оценка: 0
Нет записей для отображения.
 
 
 
02202nmm a22005535u 4500
001
 
 
vtls000362228
003
 
 
RU-ToGU
005
 
 
20120829050200.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540705949
035
$a to000362228
039
9
$a 201208290502 $b VLOAD $y 200905072340 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Hutchison, David.
245
1
0
$a Mathematics of Program Construction $h Электронный ресурс $b 9th International Conference, MPC 2008, Marseille, France, July 15-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, Philippe Audebaud, Christine Paulin-Mohring.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2008.
490
1
0
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5133
650
0
$a Computer Science
650
0
$a Logic design
650
0
$a Software engineering
650
1
4
$a Computer Science
650
2
4
$a Computation by Abstract Devices
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 Audebaud, Philippe.
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 Paulin-Mohring, Christine.
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-70594-9
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
Нет комментариев.
Предмет
Computer Science
Logic design
Software engineering
Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering