Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Mathematics of program construction1...
~
(1998 :)
Mathematics of program construction10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Mathematics of program constructionedited by Claude Bolduc, Jules Desharnais, Bechir Ktari.
Reminder of title:
10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
other author:
Desharnais, Jules.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010.
Description:
x, 425 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer programmingCongresses.Mathematics
Online resource:
http://dx.doi.org/10.1007/978-3-642-13321-3
ISBN:
9783642133213 (electronic bk.)
Mathematics of program construction10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
Mathematics of program construction
10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /[electronic resource] :edited by Claude Bolduc, Jules Desharnais, Bechir Ktari. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010. - x, 425 p. :ill., digital ;24 cm. - Lecture notes in computer science,61200302-9743 ;.
ISBN: 9783642133213 (electronic bk.)Subjects--Topical Terms:
470303
Computer programming
--Mathematics--Congresses.
LC Class. No.: QA76.6 / .M63 2010
Dewey Class. No.: 005.10151
Mathematics of program construction10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
LDR
:00945nmm 2200241 a 4500
001
266045
003
Springer
005
20100902114354.0
006
m d
007
cr nn 008maaau
008
101102s2010 gw s j eng d
020
$a
9783642133213 (electronic bk.)
020
$a
9783642133206 (paper)
035
$a
978-3-642-13320-6
050
0 4
$a
QA76.6
$b
.M63 2010
082
0 4
$a
005.10151
$2
22
090
$a
QA76.6
$b
.M939 2010
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Mathematics of program construction
$h
[electronic resource] :
$b
10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
$c
edited by Claude Bolduc, Jules Desharnais, Bechir Ktari.
260
$a
Berlin, Heidelberg :
$b
Springer-Verlag Berlin Heidelberg,
$c
2010.
300
$a
x, 425 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
6120
650
0
$a
Computer programming
$x
Mathematics
$v
Congresses.
$3
470303
650
0
$a
Computer programs
$x
Mathematics
$v
Congresses.
$3
470304
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Antibodies.
$3
456407
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
252959
700
1
$a
Desharnais, Jules.
$3
470301
700
1
$a
Ktari, BEchir.
$3
470302
700
1
$a
Bolduc, Claude.
$3
470300
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-13321-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
000000047163
電子館藏
1圖書
電子書
EB QA76.6 .M63 2010
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-13321-3
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login