Software Engineering [electronic resource]. 2 Specification of Systems and Languages / by Dines Bjorner.

Bjorner, Dines.
Bib ID
vtls001420809
出版項
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
稽核項
v. <1-3> : ill., digital ; 24 cm.
電子版
預約人數:0
全部評等: 0
沒有紀錄。
 
 
 
01033nam a2200301 a 4500
001
 
 
vtls001420809
003
 
 
VRT
005
 
 
20120701232600.0
006
 
 
m        d       
007
 
 
cr nn 008maaau
008
 
 
120701s2006    gw      s     00| 0  engdd
020
$a 9783540331933 (ebk.)
020
$a 9783540211501 (pbk.)
039
9
$y 201207012326 $z VLOAD
040
$a TKU $b eng $d TKU
050
0
0
$a QA76.758 $b .B56 2006
090
$a QA76.758 $b .B626 2006
100
1
$a Bjorner, Dines.
245
1
0
$a Software Engineering $h [electronic resource]. $n 2 $p Specification of Systems and Languages / $c by Dines Bjorner.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2006.
300
$a v. <1-3> : $b ill., digital ; $c 24 cm.
650
0
$a Software engineering.
650
0
$a Computer programming.
710
2
$a SpringerLink (Online service)
830
0
$a SpringerLink
830
0
$a Texts in Theoretical Computer Science An EATCS Series
856
4
0
$u http://info.lib.tku.edu.tw/ebook/redirect.asp?bibid=1420809
999
$a VIRTUA00
沒有評論
叢書名
SpringerLink
Texts in Theoretical Computer Science An EATCS Series
標題
合著者
ISBN/ISSN
9783540331933 (ebk.)
9783540211501 (pbk.)