Loading…
Software engineering and formal methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers d...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Cham :
Springer,
2017.
|
Series: | Lecture notes in computer science ;
10469. Lecture notes in computer science. Formal methods. LNCS sublibrary. Theoretical computer science and general issues. |
Physical Description: |
1 online resource (xix, 410 pages) : illustrations. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
MARC
LEADER | 00000cam a2200000 i 4500 | ||
---|---|---|---|
001 | on1002417804 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d | ||
007 | cr cnu|||unuuu | ||
008 | 170901s2017 sz a ob 101 0 eng d | ||
015 | |a GBB8M3357 |2 bnb | ||
016 | 7 | |a 019137710 |2 Uk | |
019 | |a 1003077053 |a 1005006741 |a 1005114635 |a 1011850853 |a 1048174834 |a 1049848518 |a 1066469494 |a 1081275527 |a 1086466946 |a 1132290233 | ||
020 | |a 9783319661971 |q (electronic bk.) | ||
020 | |a 3319661973 |q (electronic bk.) | ||
020 | |z 9783319661964 |q (print) | ||
020 | |z 3319661965 | ||
024 | 7 | |a 10.1007/978-3-319-66197-1 |2 doi | |
035 | |a (OCoLC)1002417804 |z (OCoLC)1003077053 |z (OCoLC)1005006741 |z (OCoLC)1005114635 |z (OCoLC)1011850853 |z (OCoLC)1048174834 |z (OCoLC)1049848518 |z (OCoLC)1066469494 |z (OCoLC)1081275527 |z (OCoLC)1086466946 |z (OCoLC)1132290233 | ||
037 | |a com.springer.onix.9783319661971 |b Springer Nature | ||
040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDX |d UAB |d AZU |d UPM |d OCLCF |d MERER |d OCLCQ |d ESU |d IOG |d COO |d OCLCO |d U3W |d CAUOI |d OCLCQ |d CEF |d KSU |d CRU |d OCLCQ |d VT2 |d UCW |d OCLCQ |d EBLCP |d WYU |d UKMGB |d UWO |d OCLCQ |d DKDLA |d OCLCQ |d VLB |d UKAHL |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.758 | |
072 | 7 | |a UMZ |2 bicssc | |
072 | 7 | |a COM051230 |2 bisacsh | |
082 | 0 | 4 | |a 005.1 |2 23 |
111 | 2 | |a International Conference on Software Engineering and Formal Methods |n (15th : |d 2017 : |c Trento, Italy) |0 https://id.loc.gov/authorities/names/nb2017019553. | |
245 | 1 | 0 | |a Software engineering and formal methods : |b 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings / |c Alessandro Cimatti, Marjan Sirjani (eds.). |
246 | 3 | 0 | |a SEFM 2017. |
264 | 1 | |a Cham : |b Springer, |c 2017. | |
300 | |a 1 online resource (xix, 410 pages) : |b illustrations. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
347 | |a text file. | ||
347 | |b PDF. | ||
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 10469. | |
490 | 1 | |a Formal methods. | |
490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
500 | |a International conference proceedings. | ||
504 | |a Includes bibliographical references and author index. | ||
588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed September 1, 2017). | |
520 | |a This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles. | ||
650 | 0 | |a Software engineering |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2008111658. | |
650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2008104061. | |
650 | 6 | |a Génie logiciel |v Congrès. | |
650 | 6 | |a Méthodes formelles (Informatique) |v Congrès. | |
650 | 7 | |a Programming & scripting languages: general. |2 bicssc. | |
650 | 7 | |a Computer programming |x software development. |2 bicssc. | |
650 | 7 | |a Computer science. |2 bicssc. | |
650 | 7 | |a Systems analysis & design. |2 bicssc. | |
650 | 7 | |a Artificial intelligence. |2 bicssc. | |
650 | 7 | |a Software Engineering. |2 bicssc. | |
650 | 7 | |a Computers |x Programming Languages |x General. |2 bisacsh. | |
650 | 7 | |a Computers |x Programming |x General. |2 bisacsh. | |
650 | 7 | |a Computers |x Computer Science. |2 bisacsh. | |
650 | 7 | |a Computers |x Hardware |x Handheld Devices. |2 bisacsh. | |
650 | 7 | |a Computers |x Intelligence (AI) & Semantics. |2 bisacsh. | |
650 | 7 | |a Computers |x Software Development & Engineering |x General. |2 bisacsh. | |
650 | 7 | |a Formal methods (Computer science) |2 fast. | |
650 | 7 | |a Software engineering. |2 fast. | |
655 | 2 | |a Congress. |0 https://id.nlm.nih.gov/mesh/D016423. | |
655 | 7 | |a proceedings (reports) |2 aat. | |
655 | 7 | |a Conference papers and proceedings. |2 fast. | |
655 | 7 | |a Conference papers and proceedings. |2 lcgft |0 https://id.loc.gov/authorities/genreForms/gf2014026068. | |
655 | 7 | |a Actes de congrès. |2 rvmgf. | |
700 | 1 | |a Cimatti, Alessandro, |0 https://id.loc.gov/authorities/names/nb2006013631 |e editor. | |
700 | 1 | |a Sirjani, Marjan, |0 https://id.loc.gov/authorities/names/nb2007024911 |e editor. | |
710 | 2 | |a SpringerLink (Online service) |0 https://id.loc.gov/authorities/names/no2005046756. | |
776 | 0 | 8 | |i Printed edition: |z 9783319661964. |
830 | 0 | |a Lecture notes in computer science ; |0 https://id.loc.gov/authorities/names/n42015162 |v 10469. |x 0302-9743. | |
830 | 0 | |a Lecture notes in computer science. |p Formal methods. | |
830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. |0 https://id.loc.gov/authorities/names/no2007042902. | |
907 | |a .b56637688 |b multi |c - |d 171002 |e 240320 | ||
998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g sz |h 0 |i 2 | ||
948 | |a MARCIVE Overnight, in 2024.03 | ||
948 | |a MARCIVE Overnight, in 2023.01 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Comp, 2019.12 | ||
948 | |a MARCIVE Q2, 2018 | ||
948 | |a MARCIVE Comp, 2018.05 | ||
948 | |a MARCIVE Q4, 2017 | ||
994 | |a 92 |b COM | ||
995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
995 | |a Loaded with m2btab.elec in 2024.02 | ||
995 | |a Loaded with m2btab.ltiac in 2023.01 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
995 | |a Loaded with m2btab.ltiac in 2018.08 | ||
995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
995 | 0 | 0 | |a OCLC offline update by CMU and loaded with m2btab.elec in 2018.04 |
995 | |a Loaded with m2btab.ltiac in 2018.01 | ||
995 | |a Loaded with m2btab.elec in 2017.10 | ||
995 | |a OCLC offline update by CMU | ||
999 | |e z | ||
999 | |a cue | ||
989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150533627 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-319-66197-1 |3 SpringerLink |z Click here for access |