منو
رکورد قبلیرکورد بعدی

" Specification and verification of declarative open interaction models : "


Document Type : BL
Record Number : 594403
Doc. No : b423622
Main Entry : Montali, Marco
Title & Author : Specification and verification of declarative open interaction models : : a logic-based approach /\ Marco Montali
Series Statement : Lecture notes in business information processing ;; 56
Page. NO : 1 online resource (xxii, 411 pages)
ISBN : 9783642145384
: : 3642145388
: 9783642145377
: 364214537X
Bibliographies/Indexes : Includes bibliographical references and index
Contents : pt. 1. Specification -- part 2. Static verification -- part 3. Run-time and a-posteriori verification -- part 4. Conclusion and future work
Subject : Computer logic
Subject : Management information systems
Subject : Declarative programming languages
Subject : Information technology
Subject : Computational intelligence
Subject : Business
Dewey Classification : ‭005.101/5113‬
LC Classification : ‭QA76.9.L63‬‭M66 2010‬
copyhttps://lib.clisel.com/site/catalogue/594403
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟