عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
303003044X
(Number (ISBN
9783030030445
Erroneous ISBN
3030030431
Erroneous ISBN
9783030030438
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods :
General Material Designation
[Book]
Other Title Information
foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /
First Statement of Responsibility
Tiago Massoni, Mohammad Reza Mousavi (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 (x, 271 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
11254
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
CONTENTS NOTE
Text of Note
Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
0
SUMMARY OR ABSTRACT
Text of Note
Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030030445
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030030438
International Standard Book Number
9783030030452
PARALLEL TITLE PROPER
Parallel Title
SBMF 2018
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses.
Algorithms & data structures.
Computer programming-- software development.
Computers-- Programming-- Algorithms.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Formal methods (Computer science)
Mathematical theory of computation.
Mathematics-- Logic.
Programming & scripting languages: general.
Software Engineering.
(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
Massoni, Tiago
Mousavi, Mohammad Reza,1978-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Brazilian Symposium on Formal Methods(21st :2018 :, Salvador, Brazil)
ORIGINATING SOURCE
Date of Transaction
20200823074923.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
