Loading…
Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
2017.
|
Series: | Lecture notes in computer science ;
10510. Lecture notes in computer science. Formal methods. LNCS sublibrary. Programming and software engineering. |
Physical Description: |
1 online resource (xxi, 438 pages) : illustrations. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
MARC
LEADER | 00000cam a2200000 i 4500 | ||
---|---|---|---|
001 | on1003646067 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d | ||
007 | cr cnu|||unuuu | ||
008 | 170914s2017 sz a ob 101 0 eng d | ||
016 | 7 | |a 019137806 |2 Uk | |
019 | |a 1005006651 |a 1011908093 |a 1048169701 |a 1049850067 |a 1066675434 |a 1081205600 |a 1086449628 |a 1132322379 | ||
020 | |a 9783319668451 |q (electronic bk.) | ||
020 | |a 3319668455 |q (electronic bk.) | ||
020 | |a 3319668447 | ||
020 | |a 9783319668444 | ||
020 | |z 9783319668444 |q (print) | ||
024 | 7 | |a 10.1007/978-3-319-66845-1 |2 doi | |
035 | |a (OCoLC)1003646067 |z (OCoLC)1005006651 |z (OCoLC)1011908093 |z (OCoLC)1048169701 |z (OCoLC)1049850067 |z (OCoLC)1066675434 |z (OCoLC)1081205600 |z (OCoLC)1086449628 |z (OCoLC)1132322379 | ||
037 | |a com.springer.onix.9783319668451 |b Springer Nature | ||
040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d AZU |d OCLCF |d MERER |d UAB |d IOG |d COO |d OCLCO |d OCLCQ |d U3W |d CAUOI |d OCLCQ |d KSU |d CRU |d OCLCQ |d VT2 |d UCW |d OCLCQ |d EBLCP |d ESU |d WYU |d UWO |d UKMGB |d TFW |d OCLCQ |d YDX |d OCLCQ |d DKDLA |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.9.F67 |b I58 2017eb | |
072 | 7 | |a UMZ |2 bicssc | |
072 | 7 | |a COM051230 |2 bisacsh | |
082 | 0 | 4 | |a 004.01/51 |2 23 |
111 | 2 | |a International Conference on Integrated Formal Methods |n (13th : |d 2017 : |c Turin, Italy) |0 https://id.loc.gov/authorities/names/nb2017019920. | |
245 | 1 | 0 | |a Integrated formal methods : |b 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / |c Nadia Polikarpova, Steve Schneider (eds.). |
246 | 3 | |a IFM 2017. | |
264 | 1 | |a Cham, Switzerland : |b Springer, |c 2017. | |
300 | |a 1 online resource (xxi, 438 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 10510. | |
490 | 1 | |a Formal methods. | |
490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering. | |
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 14, 2017). | |
520 | |a This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software. | ||
650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2008104061. | |
650 | 0 | |a Software engineering |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2008111658. | |
650 | 6 | |a Méthodes formelles (Informatique) |v Congrès. | |
650 | 6 | |a Génie logiciel |v Congrès. | |
650 | 7 | |a Programming & scripting languages: general. |2 bicssc. | |
650 | 7 | |a Computer science. |2 bicssc. | |
650 | 7 | |a Computer networking & communications. |2 bicssc. | |
650 | 7 | |a Artificial intelligence. |2 bicssc. | |
650 | 7 | |a Information technology: general issues. |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 Computer Science. |2 bisacsh. | |
650 | 7 | |a Computers |x Hardware |x General. |2 bisacsh. | |
650 | 7 | |a Computers |x Intelligence (AI) & Semantics. |2 bisacsh. | |
650 | 7 | |a Computers |x General. |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 Polikarpova, Nadia, |0 https://id.loc.gov/authorities/names/nb2017019923 |e editor. | |
700 | 1 | |a Schneider, S. A. |q (Steve A.) |0 https://id.loc.gov/authorities/names/no2001009606 |1 https://id.oclc.org/worldcat/entity/E39PBJmDk44BGmD9CPbcvMHXBP, |e editor. | |
710 | 2 | |a SpringerLink (Online service) |0 https://id.loc.gov/authorities/names/no2005046756. | |
776 | 0 | 8 | |i Printed edition: |z 9783319668444. |
830 | 0 | |a Lecture notes in computer science ; |0 https://id.loc.gov/authorities/names/n42015162 |v 10510. |x 0302-9743. | |
830 | 0 | |a Lecture notes in computer science. |p Formal methods. | |
830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. |0 https://id.loc.gov/authorities/names/no2007033954. | |
907 | |a .b5690793x |b multi |c - |d 171101 |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.11 | ||
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 .i150535338 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-319-66845-1 |3 SpringerLink |z Click here for access |