An edition of Constraint-based verification (2006)

Constraint-Based Verification

My Reading Lists:

Create a new list




Download Options

Buy this book

Last edited by ImportBot
July 16, 2023 | History
An edition of Constraint-based verification (2006)

Constraint-Based Verification

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

Publish Date
Publisher
Springer
Language
English
Pages
253

Buy this book

Previews available in: English

Edition Availability
Cover of: Constraint-Based Verification
Constraint-Based Verification
Oct 29, 2010, Springer
paperback
Cover of: Constraint-Based Verification
Constraint-Based Verification
January 13, 2006, Springer
in English
Cover of: Constraint-Based Verification
Constraint-Based Verification
2006, Springer
in English

Add another edition?

Book Details


Classifications

Library of Congress
Q340 .Y83 2006, TK7867-7867.5

Edition Identifiers

Open Library
OL7444904M
Internet Archive
constraintbasedv00yuan
ISBN 10
0387259473
ISBN 13
9780387259475
LCCN
2005936518
OCLC/WorldCat
63280750
Goodreads
81211

Work Identifiers

Work ID
OL18735765W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 16, 2023 Edited by ImportBot import existing book
March 7, 2023 Edited by MARC Bot import existing book
December 29, 2022 Edited by MARC Bot import existing book
December 4, 2022 Edited by ImportBot import existing book
April 29, 2008 Created by an anonymous user Imported from amazon.com record