Formal Methods in Software and Systems Modeling Электронный ресурс : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /edited by Hans-Jörg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.

Kreowski, Hans-Jörg
Публикация
Berlin Heidelberg : : Springer-Verlag GmbH., , 2005
Электронный ресурс
Другой Автор
Montanari, Ugo
Orejas, Fernando
Rozenberg, Grzegorz
Taentzer, Gabriele
Источник
Springer e-books
Серия
Lecture Notes in Computer Science, 0302-9743 ; 3393
Всего оценка: 0
Нет записей для отображения.
 
 
 
01949nmm a22004695u 4500
001
 
 
vtls000359188
003
 
 
RU-ToGU
005
 
 
20131021103300.0
007
 
 
cr nn 008mamaa
008
 
 
120828s2005    xx         j        eng d
020
$a 9783540318477
035
$a to000359188
039
9
$a 201310211033 $b cat07 $c 201208281606 $d VLOAD $y 200905072240 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Kreowski, Hans-Jörg
245
1
0
$a Formal Methods in Software and Systems Modeling $h Электронный ресурс $b Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday $c edited by Hans-Jörg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.
260
$a Berlin Heidelberg : $b Springer-Verlag GmbH., $c 2005
490
1
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 3393
650
0
$a Computational complexity
650
0
$a Computer Science
650
0
$a Computer science
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 Discrete Mathematics in Computer Science
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 Montanari, Ugo
700
1
$a Orejas, Fernando
700
1
$a Rozenberg, Grzegorz
700
1
$a Taentzer, Gabriele
710
2
$a SpringerLink (Online service)
773
0
$t Springer e-books
830
0
$a Lecture Notes in Computer Science,
856
4
0
$u http://dx.doi.org/10.1007/b106390
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*4900*6500*6501*6502*6503*6504*6505*6506*6507*6508*6509*65010*65011*65012*7000*7001*7002*7003*7100*7730*8300*8560*9500*9992
Нет комментариев.
Предмет
Computational complexity
Computer Science
Computer science
Computer science
Logic design
Software engineering
Computer Science
Computation by Abstract Devices
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering