東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Integrated formal methods = 12th Int...

Abraham, Erika.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Integrated formal methods/ edited by Erika Abraham, Marieke Huisman.
Reminder of title:	12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
remainder title:	IFM 2016
other author:	Abraham, Erika.
Published:	Cham :Springer International Publishing : : 2016.,
Description:	xiv, 538 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Formal methods (Computer science) -
Online resource:	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)