Language:
English
繁體中文
Help
圖資館首頁
Login
Back
to Search results for
[ author_sort:"derrick, john." ]
Switch To:
Labeled
|
MARC Mode
|
ISBD
Integrated formal methods9th Interna...
~
(1998 :)
Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Integrated formal methodsedited by John Derrick ... [et al.].
Reminder of title:
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
remainder title:
IFM 2012
other author:
Derrick, John.
corporate name:
Published:
Berlin, Heidelberg :Springer Berlin Heidelberg,2012.
Description:
357 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Formal methods (Computer science)
Online resource:
http://dx.doi.org/10.1007/978-3-642-30729-4
ISBN:
9783642307294 (electronic bk.)
Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
Integrated formal methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /[electronic resource] :IFM 2012edited by John Derrick ... [et al.]. - Berlin, Heidelberg :Springer Berlin Heidelberg,2012. - 357 p. :ill., digital ;24 cm. - Lecture notes in computer science,73210302-9743 ;. - Lecture notes in computer science ;4891..
ISBN: 9783642307294 (electronic bk.)Subjects--Topical Terms:
277520
Formal methods (Computer science)
LC Class. No.: QA76.9.F67 / I58 2012
Dewey Class. No.: 004.0151
Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
LDR
:00975nmm a2200277 a 4500
001
340143
003
DE-He213
005
20120810100110.0
006
m d
007
cr nn 008maaau
008
120817s2012 gw s 0 eng d
020
$a
9783642307294 (electronic bk.)
020
$a
9783642307287 (paper)
035
$a
978-3-642-30729-4
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.9.F67
$b
I58 2012
082
0 4
$a
004.0151
$2
23
090
$a
QA76.9.F67
$b
I61 2012
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Integrated formal methods
$h
[electronic resource] :
$b
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
$c
edited by John Derrick ... [et al.].
246
3
$a
IFM 2012
260
$a
Berlin, Heidelberg :
$b
Springer Berlin Heidelberg,
$c
2012.
300
$a
357 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
7321
650
0
$a
Formal methods (Computer science)
$3
277520
650
0
$a
Software engineering
$3
253562
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Programming Techniques.
$3
274470
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
700
1
$a
Derrick, John.
$3
567183
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-30729-4
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
000000069883
電子館藏
1圖書
電子書
EB QA76.9.F67 I61 2012
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-30729-4
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login