عنوان
پدید آورنده
موضوع
رده
QA76.76.V47
QA76
.
76
.
V47
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030035921
(Number (ISBN
9783030035921
Erroneous ISBN
9783030035914
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Verified software :
General Material Designation
[Book]
Other Title Information
theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /
First Statement of Responsibility
Ruzica Piskac, Philipp Rümmer (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 345 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
11294
GENERAL NOTES
Text of Note
Includes author index.
SUMMARY OR ABSTRACT
Text of Note
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030035921
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030035914
International Standard Book Number
9783030035938
PARALLEL TITLE PROPER
Parallel Title
VSTTE 2018
TOPICAL NAME USED AS SUBJECT
Compilers (Computer programs), Congresses.
Computer software-- Quality control, Congresses.
Computer software-- Verification, Congresses.
Compilers (Computer programs)
Computer programming-- software development.
Computer software-- Quality control.
Computer software-- Verification.
Computers-- Expert Systems.
Computers-- General.
Computers-- Hardware-- Handheld Devices.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Expert systems-- knowledge-based systems.
Information technology: general issues.
Programming & scripting languages: general.
Software Engineering.
Systems analysis & design.
(SUBJECT CATEGORY (Provisional
COM051230
UMZ
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/4
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Piskac, Ruzica
Rümmer, Philipp
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
VSTTE (Conference)(10th :2018 :, Oxford, England)
ORIGINATING SOURCE
Date of Transaction
20200823075607.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
