Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal methods applied to complex sy...
~
Boulanger, Jean-Louis.
Formal methods applied to complex systems = implementation of the B Method /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Formal methods applied to complex systems/ edited by Jean-Louis Boulanger.
Reminder of title:
implementation of the B Method /
other author:
Boulanger, Jean-Louis.
Published:
London :ISTE ; : 2014.,
Description:
1 online resource.
Subject:
B method (Computer science) -
Online resource:
http://onlinelibrary.wiley.com/book/10.1002/9781119002727
ISBN:
9781119002680 (electronic bk.)
Formal methods applied to complex systems = implementation of the B Method /
Formal methods applied to complex systems
implementation of the B Method /[electronic resource] :edited by Jean-Louis Boulanger. - London :ISTE ;2014. - 1 online resource. - Computer engineering series. - Computer engineering series (London, England).
Includes bibliographical references and index.
ISBN: 9781119002680 (electronic bk.)Subjects--Topical Terms:
1060177
B method (Computer science)
LC Class. No.: QA76.9.B22
Dewey Class. No.: 005.1
Formal methods applied to complex systems = implementation of the B Method /
LDR
:01060cam a2200301Ki 4500
001
831832
003
OCoLC
005
20151014013545.0
006
m o d
007
cr |||||||||||
008
160215s2014 enka ob 001 0 eng d
020
$a
9781119002680 (electronic bk.)
020
$a
1119002680 (electronic bk.)
020
$a
9781119002727 (electronic bk.)
020
$a
1119002729 (electronic bk.)
020
$z
1848217099
020
$z
9781848217096
035
$a
(OCoLC)887825577
035
$a
ocn887825577
040
$a
N
$b
eng
$c
N
$d
DG1
$d
YDXCP
$d
E7B
$d
OCLCF
050
4
$a
QA76.9.B22
082
0 4
$a
005.1
$2
23
245
0 0
$a
Formal methods applied to complex systems
$h
[electronic resource] :
$b
implementation of the B Method /
$c
edited by Jean-Louis Boulanger.
260
$a
London :
$a
Hoboken, NJ :
$b
ISTE ;
$c
2014.
$b
Wiley,
300
$a
1 online resource.
490
1
$a
Computer engineering series
504
$a
Includes bibliographical references and index.
588
$a
Description based on print version record.
650
0
$a
B method (Computer science)
$3
1060177
650
0
$a
Formal methods (Computer science)
$3
564790
700
1
$a
Boulanger, Jean-Louis.
$3
1060176
830
0
$a
Computer engineering series (London, England)
$3
1059771
856
4 0
$u
http://onlinelibrary.wiley.com/book/10.1002/9781119002727
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login