عنوان
پدید آورنده
موضوع
رده
QA76.758
QA76
.
758
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030176002
(Number (ISBN
3030176010
(Number (ISBN
9783030176006
(Number (ISBN
9783030176013
Erroneous ISBN
9783030176006
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Engineering trustworthy software systems :
General Material Designation
[Book]
Other Title Information
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
First Statement of Responsibility
Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvii, 237 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, programming and software engineering
Volume Designation
11430
GENERAL NOTES
Text of Note
Includes author index.
SUMMARY OR ABSTRACT
Text of Note
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software. --
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030176013
PARALLEL TITLE PROPER
Parallel Title
SETSS 2018
TOPICAL NAME USED AS SUBJECT
Computer security, Congresses.
Computer software, Congresses.
Software engineering, Congresses.
Computer security.
Computer software.
Software engineering.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
758
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bowen, J. P., (Jonathan Peter),1956-
Liu, Zhiming,1961-
Zhang, Zili
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
SETSS (International school)(4th :2018 :, Chongqing, China)
ORIGINATING SOURCE
Date of Transaction
20200823085723.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
