Items related to Model Checking Software: 14th International SPIN Workshop,...
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings: 4595 (Lecture Notes in Computer Science, 4595) - Softcover
Synopsis
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
"synopsis" may belong to another edition of this title.
Search results for Model Checking Software: 14th International SPIN Workshop,...
Stock Image
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science, 4595)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540733690_new
Quantity: Over 20 available
Stock Image
Model Checking Software
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 300 Illus. Seller Inventory # 7546598
Quantity: 1 available
Seller Image
Model Checking Software
Published by
Springer Berlin Heidelberg Jun 2007, 2007
ISBN 10: 3540733698
ISBN 13: 9783540733690
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. 300 pp. Englisch. Seller Inventory # 9783540733690
Quantity: 2 available
Stock Image
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # DA1412704
Quantity: 1 available
Stock Image
Model Checking Software
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 300. Seller Inventory # 26301369
Quantity: 1 available
Seller Image
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540733698
ISBN 13: 9783540733690
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. Seller Inventory # 9783540733690
Quantity: 1 available
Stock Image
Model Checking Software
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 300. Seller Inventory # 18301363
Quantity: 1 available
Stock Image
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540733690
Quantity: 10 available
Seller Image
Model Checking Software
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540733698
ISBN 13: 9783540733690
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the refereed proceedings of the 14th International SPIN workshop on Model Checking SoftwareProvides an excellent overview of the latest findings, technological developments, and applications in the fieldFeatures fourteen full paper. Seller Inventory # 4899664
Quantity: Over 20 available
Stock Image
Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Published by
Springer-Verlag New York Inc, 2007
ISBN 10: 3540733698
ISBN 13: 9783540733690
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 285 pages. 9.50x6.00x0.75 inches. In Stock. Seller Inventory # x-3540733698
Quantity: 2 available