Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal methodsstate of the art and n...
~
Boca, Paul.
Formal methodsstate of the art and new directions /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Formal methodsedited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.
Reminder of title:
state of the art and new directions /
other author:
Siddiqi, Jawed.
Published:
London :Springer-Verlag London,2010.
Description:
xxiii, 273 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Formal methods (Computer science)
Online resource:
http://dx.doi.org/10.1007/978-1-84882-736-3
ISBN:
9781848827363 (electronic bk.)
Formal methodsstate of the art and new directions /
Formal methods
state of the art and new directions /[electronic resource] :edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. - London :Springer-Verlag London,2010. - xxiii, 273 p. :ill., digital ;24 cm.
ISBN: 9781848827363 (electronic bk.)Subjects--Topical Terms:
277520
Formal methods (Computer science)
LC Class. No.: QA76.9.F67 / F67 2010
Dewey Class. No.: 004
Formal methodsstate of the art and new directions /
LDR
:00787nmm 2200229 a 4500
001
273967
003
Springer
005
20101011171032.0
006
m d
007
cr nn 008maaau
008
101221s2010 enk s j eng d
020
$a
9781848827363 (electronic bk.)
020
$a
9781848827356 (paper)
035
$a
978-1-84882-735-6
050
0 4
$a
QA76.9.F67
$b
F67 2010
082
0 4
$a
004
$2
22
090
$a
QA76.9.F67
$b
F723 2010
245
0 0
$a
Formal methods
$h
[electronic resource] :
$b
state of the art and new directions /
$c
edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.
260
$a
London :
$b
Springer-Verlag London,
$c
2010.
300
$a
xxiii, 273 p. :
$b
ill., digital ;
$c
24 cm.
650
0
$a
Formal methods (Computer science)
$3
277520
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
700
1
$a
Siddiqi, Jawed.
$3
484860
700
1
$a
Boca, Paul.
$3
484859
700
1
$a
Bowen, Jonathan P.
$3
468363
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-1-84882-736-3
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000050217
電子館藏
1圖書
電子書
EB QA76.9.F67 F67 2010
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-1-84882-736-3
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login