An edition of Specification and verification of declarative open interaction models (2010)

Specification and verification of declarative open interaction models

a logic-based approach

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Specification and verification of declarative open interaction models by Marco Montali
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
February 26, 2022 | History
Edit
An edition of Specification and verification of declarative open interaction models (2010)

Specification and verification of declarative open interaction models

a logic-based approach

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
411

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Computer logic, Computational intelligence, Declarative programming languages, Management information systems, Information technology, Business

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Specification and Verification of Declarative Open Interaction Models
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
Mar 23, 2011, Springer
paperback
Libraries near you: WorldCat
Cover of: Specification and verification of declarative open interaction models
Specification and verification of declarative open interaction models: a logic-based approach
2010, Springer
in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Specification and Verification of Declarative Open Interaction Models
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
2010, Springer
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Berlin, New York

Table of Contents

pt. 1. Specification
pt. 2. Static verification
pt. 3. Run-time and a-posteriori verification
pt. 4. Conclusion and future work.

Edition Notes

Includes bibliographical references and index.

Series
Lecture notes in business information processing -- 56, Lecture notes in business information processing -- 56.

Classifications

Library of Congress
QA76.9.L63 M66 2010, TK7885-7895

The Physical Object

Pagination
xxii, 411 p. :
Number of pages
411

ID Numbers

Open Library
OL25321519M
Internet Archive
specificationver00mont
ISBN 10
364214537X
ISBN 13
9783642145377
LCCN
2010931106
OCLC/WorldCat
648933593

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
February 26, 2022 Edited by ImportBot import existing book
September 25, 2020 Edited by MARC Bot import existing book
May 23, 2012 Created by LC Bot import new book