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
December 27, 2022 | 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, QA76.758QA76.9.L63QA, QA76.76.V47 E8 2008

The Physical Object

Pagination
xii, 169 p. :
Number of pages
169

ID Numbers

Open Library
OL22682696M
Internet Archive
unfoldingspartia00espa_676
ISBN 10
3540774254
ISBN 13
9783540774259
LCCN
2008921563
OCLC/WorldCat
209334163
Library Thing
6308882
Goodreads
6146505

Source records

Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Better World Books record
Library of Congress MARC record
Internet Archive item record
Promise Item
marc_columbia MARC 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 / OPDS | Wikipedia citation
December 27, 2022 Edited by MARC Bot import existing book
December 7, 2022 Edited by ImportBot import existing book
May 31, 2022 Edited by ImportBot import existing book
December 22, 2020 Edited by MARC Bot import existing book
December 12, 2008 Created by ImportBot Imported from Library of Congress MARC record