عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 M66 2010
QA76
.
9
.
L63
M66
2010
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642145388
(Number (ISBN
9783642145384
Erroneous ISBN
364214537X
Erroneous ISBN
9783642145377
NATIONAL BIBLIOGRAPHY NUMBER
Number
b423622
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Specification and verification of declarative open interaction models :
General Material Designation
[Book]
Other Title Information
a logic-based approach /
First Statement of Responsibility
Marco Montali
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xxii, 411 pages)
SERIES
Series Title
Lecture notes in business information processing ;
Volume Designation
56
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
CONTENTS NOTE
Text of Note
pt. 1. Specification -- part 2. Static verification -- part 3. Run-time and a-posteriori verification -- part 4. Conclusion and future work
0
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer
Stock Number
978-3-642-14537-7
OTHER EDITION IN ANOTHER MEDIUM
Title
Specification and verification of declarative open interaction models.
International Standard Book Number
9783642145377
TOPICAL NAME USED AS SUBJECT
Computational intelligence
Computer logic
Declarative programming languages
Information technology
Management information systems
Business
(SUBJECT CATEGORY (Provisional
COM-- 037000
DEWEY DECIMAL CLASSIFICATION
Number
005
.
101/5113
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
L63
Book number
M66
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Montali, Marco
ORIGINATING SOURCE
Date of Transaction
20170726082033.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
