عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 W32 2015 E-Book ,
QA
76
.
76
.
D47
W32
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319281131
NATIONAL BIBLIOGRAPHY NUMBER
Number
13781
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Recent trends in algebraic development techniques
General Material Designation
[electronic resources]
Other Title Information
: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers
First Statement of Responsibility
\ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
cham
Name of Publisher, Distributor, etc.
: Springe
Date of Publication, Distribution, etc.
, 2015
PROJECTED PUBLICATION DATE
Date
1601
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (viii, [171] pages)
Other Physical Details
:illustrations
SERIES
Series Title
Lecture notes in computer science
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
; 9463
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
CONTENTS NOTE
Text of Note
On Logic Embeddings and Godel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An Empirical Study.- A Full Operational Semantics for Asynchronous Relational Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.
0
TOPICAL NAME USED AS SUBJECT
Computer software -- Development -- Congresses.
Computer science -- Mathematics -- Congresses
Formal methods (Computer science) -- Congresses.
نرمافزار -- تولید -- کتگره ها
علوم کامپیوتر -- ریاضیات -- کنگرهها
روشهای صوری (کامپیوتر) -- کنگرهها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
Book number
.
D47
W32
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Codescu, Mihai, editor
Diaconescu, Răzvan, editor
Tutu, Ionut, editor
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
WADT (Workshop) (22nd : 2014 : Sinaia, Romania)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170218111101.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319281131.pdf
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015957798-d.html
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015957798-t.html
BL
279177
1
N
