عنوان
پدید آورنده
موضوع
رده
QA76.751 .F67 2019eb
QA76
.
751
.
F67
2019eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030171272
(Number (ISBN
9783030171278
Erroneous ISBN
9783030171261
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Foundations of software science and computation structures :
General Material Designation
[Book]
Other Title Information
22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
First Statement of Responsibility
Mikołaj Bojańczyk, Alex Simpson (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 (xv, 542 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Advanced research in computing and software science
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
11425
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
SUMMARY OR ABSTRACT
Text of Note
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. --
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030171278
PARALLEL TITLE PROPER
Parallel Title
FOSSACS 2019
TOPICAL NAME USED AS SUBJECT
Computer software, Congresses.
Software engineering, Congresses.
Computer software.
Software engineering.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
751
Book number
.
F67
2019eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bojańczyk, Mikołaj
Simpson, Alex
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FOSSACS (Conference)(22nd :2019 :, Prague, Czech Republic)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
ETAPS (Conference)(22nd :2019 :, Prague, Czech Republic)
ORIGINATING SOURCE
Date of Transaction
20200823085331.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
