Coverart for item
The Resource Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Nadia Polikarpova, Steve Schneider (eds.), (electronic book)

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Nadia Polikarpova, Steve Schneider (eds.), (electronic book)

Label
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Title
Integrated formal methods
Title remainder
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Statement of responsibility
Nadia Polikarpova, Steve Schneider (eds.)
Title variation
IFM 2017
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I58 2017eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2017
http://bibfra.me/vocab/lite/meetingName
International Conference on Integrated Formal Methods
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Polikarpova, Nadia
  • Schneider, S. A.
Series statement
  • Lecture notes in computer science,
  • Formal methods
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
10510
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
Label
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Nadia Polikarpova, Steve Schneider (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xxi, 438 pages)
File format
unknown
Form of item
online
Isbn
9783319668451
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-66845-1
Other physical details
illustrations.
Reformatting quality
preservation
Sound
unknown sound
Specific material designation
remote
System control number
on1003646067
Label
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Nadia Polikarpova, Steve Schneider (eds.), (electronic book)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xxi, 438 pages)
File format
unknown
Form of item
online
Isbn
9783319668451
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-66845-1
Other physical details
illustrations.
Reformatting quality
preservation
Sound
unknown sound
Specific material designation
remote
System control number
on1003646067

Library Locations

Processing Feedback ...