Leveraging Applications of Formal Methods Электронный ресурс : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /edited by Tiziana Maragria, Bernhard Steffen.

Maragria, Tiziana.
Публикация
Berlin Heidelberg : : Springer-Verlag GmbH., , 2006
Электронный ресурс
Другой Автор
Steffen, Bernhard
Источник
Springer e-books
Серия
Lecture Notes in Computer Science, 0302-9743 ; 4313
Всего оценка: 0
Нет записей для отображения.
 
 
 
01446nmm a22003735u 4500
001
 
 
vtls000361716
003
 
 
RU-ToGU
005
 
 
20120829025000.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2006    xx         j        eng d
020
$a 9783540489290
035
$a to000361716
039
9
$a 201208290250 $b VLOAD $y 200905072330 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Maragria, Tiziana.
245
1
0
$a Leveraging Applications of Formal Methods $h Электронный ресурс $b First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers $c edited by Tiziana Maragria, Bernhard Steffen.
260
$a Berlin Heidelberg : $b Springer-Verlag GmbH., $c 2006
490
1
0
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 4313
650
0
$a Computer Science
650
0
$a Logic design
650
0
$a Software engineering
650
0
$a Software engineering
650
1
4
$a Computer Science
650
2
4
$a Logics and Meanings of Programs
650
2
4
$a Programming Languages, Compilers, Interpreters
650
2
4
$a Software Engineering
650
2
4
$a Special Purpose and Application-Based Systems
700
1
$a Steffen, Bernhard
710
2
$a SpringerLink (Online service)
773
0
$t Springer e-books
830
#
$a Lecture Notes in Computer Science,
856
4
0
$u http://dx.doi.org/10.1007/11925040
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
Нет комментариев.
Предмет
Computer Science
Logic design
Software engineering
Software engineering
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Special Purpose and Application-Based Systems