عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030024504
(Number (ISBN
9783030024505
Erroneous ISBN
3030024490
Erroneous ISBN
9783030024499
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods and software engineering :
General Material Designation
[Book]
Other Title Information
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
First Statement of Responsibility
Jing Sun, Meng Sun (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 (xxii, 474 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
11232
GENERAL NOTES
Text of Note
International conference proceedings.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index.
CONTENTS NOTE
Text of Note
Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.
0
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030024505
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030024499
International Standard Book Number
9783030024512
PARALLEL TITLE PROPER
Parallel Title
ICFEM 2018
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses.
Software engineering, Congresses.
Computer programming-- software development.
Computers-- Expert Systems.
Computers-- General.
Computers-- Hardware-- Handheld Devices.
Computers-- Programming-- General.
Computers-- Software Development & Engineering-- General.
Expert systems-- knowledge-based systems.
Formal methods (Computer science)
Information technology: general issues.
Mathematical theory of computation.
Mathematics-- Logic.
Software engineering.
Software Engineering.
Systems analysis & design.
(SUBJECT CATEGORY (Provisional
COM051230
UMZ
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Sun, Jing, (Computer scientist)
Sun, Meng
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Formal Engineering Methods(20th :2018 :, Gold Coast, Qld.)
ORIGINATING SOURCE
Date of Transaction
20200823074222.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
