東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Integrated formal methods = 12th Int...

Abraham, Erika.

FindBook

Google Book

Amazon

博客來

Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Integrated formal methods/ edited by Erika Abraham, Marieke Huisman.
其他題名:	12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
其他題名:	IFM 2016
其他作者:	Abraham, Erika.
出版者:	Cham :Springer International Publishing : : 2016.,
面頁冊數:	xiv, 538 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Formal methods (Computer science) -
電子資源:	http://dx.doi.org/10.1007/978-3-319-33693-0
ISBN:	9783319336930

Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
Integrated formal methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /[electronic resource] :IFM 2016edited by Erika Abraham, Marieke Huisman. - Cham :Springer International Publishing :2016. - xiv, 538 p. :ill., digital ;24 cm. - Lecture notes in computer science,96810302-9743 ;. - Lecture notes in computer science ;5353..

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.

ISBN: 9783319336930

Standard No.: 10.1007/978-3-319-33693-0doiSubjects--Topical Terms:

882407
Formal methods (Computer science)

LC Class. No.: QA76.9.F67 / I58 2016

Dewey Class. No.: 004.0151

Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
LDR:01622nmm a2200325 a 4500 001 2037983
003 DE-He213
005 20161024164710.0
006 m d
007 cr nn 008maaau
008 161209s2016 gw s 0 eng d
020 $a 9783319336930 $q (electronic bk.)
020 $a 9783319336923 $q (paper)
024 7 $a 10.1007/978-3-319-33693-0 $2 doi
035 $a 978-3-319-33693-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67 $b I58 2016
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2016
245 1 0 $a Integrated formal methods $h [electronic resource] : $b 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / $c edited by Erika Abraham, Marieke Huisman.
246 3 $a IFM 2016
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xiv, 538 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9681
520 $a This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.
650 0 $a Formal methods (Computer science) $3 882407
650 0 $a Software engineering $v Congresses. $3 1243492
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
700 1 $a Abraham, Erika. $3 2059258
700 1 $a Huisman, Marieke. $3 2194863
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-33693-0
950 $a Computer Science (Springer-11645)