大葉大學圖書館 |

登入

回上页

Formal methods for industrial critic...

Clark Conference ((2005 :)

Formal methods for industrial critical systems[electronic resource] :20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /

纪录类型:	书目-电子资源 : Monograph/item
[NT 15000414] null:	004.0151
[NT 47271] Title/Author:	Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings // edited by Manuel Nunez, Matthias Gudemann.
[NT 51403] remainder title:	FMICS 2015
[NT 51406] other author:
[NT 51402] corporate name:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面页册数:	xvi, 213 p. : : ill., digital ;; 24 cm.
标题:
ISBN:	9783319194585 (electronic bk.)
ISBN:	9783319194578 (paper)
[NT 15000228] null:	Applications --?Protocols -- Specification and analysis -- Verification.#

Formal methods for industrial critical systems[electronic resource] :20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /[electronic resource] :FMICS 2015edited by Manuel Nunez, Matthias Gudemann. - Cham :Springer International Publishing :2015. - xvi, 213 p. :ill., digital ;24 cm. - Lecture notes in computer science,91280302-9743 ;.

Applications --?Protocols -- Specification and analysis -- Verification.#

ISBN: 9783319194585 (electronic bk.)

Standard No.: 10.1007/978-3-319-19458-5doiSubjects--Topical Terms:

353965

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal methods for industrial critical systems[electronic resource] :20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
LDR:01107nmm a2200313 a 4500 001 438813
003 DE-He213
005 20151224133857.0
006 m d
007 cr nn 008maaau
008 160315s2015 gw s 0 eng d
020 $a 9783319194585 (electronic bk.)
020 $a 9783319194578 (paper)
024 7 $a 10.1007/978-3-319-19458-5 $2 doi
035 $a 978-3-319-19458-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Formal methods for industrial critical systems $h [electronic resource] : $b 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / $c edited by Manuel Nunez, Matthias Gudemann.
246 3 $a FMICS 2015
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xvi, 213 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9128
505 0 $a Applications --?Protocols -- Specification and analysis -- Verification.#
650 0 $2 lcstt. $3 353965
700 $3 383340
710 $7 aProject Muse. $3 540276
830 0 $3 626084

读者评论 0 笔

Export

[NT 5501410] pickup library