An edition of Unfoldings (2008)

Unfoldings

a partial-order approach to model checking

by

Cover of: Unfoldings by Javier Esparza, Javier Esparza
Locate

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
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 8, 2019 | History
Edit
An edition of Unfoldings (2008)

Unfoldings

a partial-order approach to model checking

by

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

Publish Date
Publisher
Springer
Language
English
Pages
169

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer software, Computer systems, Testing, Verification, Logic design, Information theory, Software engineering
Edition Availability
Cover of: Unfoldings
Unfoldings: A Partial-Order Approach to Model Checking
Nov 30, 2010, Springer
paperback
Cover of: Unfoldings
Unfoldings: a partial-order approach to model checking
2008, Springer
in English
Cover of: Unfoldings
Unfoldings: A Partial-Order Approach to Model Checking
2008, Springer
in English
Cover of: Unfoldings
Unfoldings: a partial-order approach to model checking
2008, Springer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [157]-164) and index.

Published in
Berlin
Series
Monographs in theoretical computer science: an EATCS series, Monographs in theoretical computer science

Classifications

Library of Congress
QA76.76.T48 E87 2008

The Physical Object

Pagination
xii, 169 p. :
Number of pages
169

ID Numbers

Open Library
OL23013637M
Internet Archive
unfoldingspartia00espa
ISBN 10
3540774254
ISBN 13
9783540774259
LCCN
2008921563
Library Thing
6308882
Goodreads
6146505

Source records

Internet Archive item record

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
July 8, 2019 Edited by MARC Bot import existing book
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page