大葉大學圖書館 |

登入

回首頁

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
杜威分類號:	004.0151
書名/作者:	Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings // edited by Manuel Nunez, Matthias Gudemann.
其他題名:	FMICS 2015
其他作者:
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	xvi, 213 p. : : ill., digital ;; 24 cm.
標題:
ISBN:	9783319194585 (electronic bk.)
ISBN:	9783319194578 (paper)
內容註:	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

取書館別