Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Programming and Software Engineering)

ISBN 10: 3319119354 ISBN 13: 9783319119359
Published by Springer, 2014
New Soft cover

From Best Price, Torrance, CA, U.S.A. Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since August 30, 2024

This specific item is no longer available.

About this Item

Description:

SUPER FAST SHIPPING. Seller Inventory # 9783319119359

Report this item

Synopsis:

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.

The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Automated Technology for Verification and ...
Publisher: Springer
Publication Date: 2014
Binding: Soft cover
Condition: New

Top Search Results from the AbeBooks Marketplace

Seller Image

Cassez, Franck|Raskin, Jean-Francois
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully r. Seller Inventory # 4499156

Contact seller

Buy New

US$ 57.90
Shipping: US$ 56.94
From Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020088719

Contact seller

Buy New

US$ 60.00
Shipping: US$ 3.99
Within U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Jean-Francois Raskin (u. a.)
Published by Palgrave Macmillan, 2014
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Taschenbuch

Seller: preigu, Osnabrück, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Automated Technology for Verification and Analysis | 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings | Jean-Francois Raskin (u. a.) | Taschenbuch | xxiv | Englisch | 2014 | Palgrave Macmillan | EAN 9783319119359 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105121242

Contact seller

Buy New

US$ 60.27
Shipping: US$ 81.36
From Germany to U.S.A.

Quantity: 5 available

Add to basket

Seller Image

Cassez, Franck (EDT); Raskin, Jean-francois (EDT)
Published by Springer, 2014
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 21966075-n

Contact seller

Buy New

US$ 61.34
Shipping: US$ 2.64
Within U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Jean-Francois Raskin
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. 456 pp. Englisch. Seller Inventory # 9783319119359

Contact seller

Buy New

US$ 64.03
Shipping: US$ 26.73
From Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

Jean-Francois Raskin
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. Seller Inventory # 9783319119359

Contact seller

Buy New

US$ 64.03
Shipping: US$ 73.72
From Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Jean-Francois Raskin
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch. Seller Inventory # 9783319119359

Contact seller

Buy New

US$ 64.03
Shipping: US$ 69.73
From Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Franck Cassez, Jean-Francois Raskin
Published by Springer 2014-09-29, 2014
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319119359

Contact seller

Buy New

US$ 64.99
Shipping: US$ 20.39
From United Kingdom to U.S.A.

Quantity: 10 available

Add to basket

Seller Image

Cassez, Franck (EDT); Raskin, Jean-francois (EDT)
Published by Springer, 2014
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 21966075-n

Contact seller

Buy New

US$ 66.58
Shipping: US$ 19.74
From United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3319119354 ISBN 13: 9783319119359
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783319119359_new

Contact seller

Buy New

US$ 66.60
Shipping: US$ 15.77
From United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket

There are 7 more copies of this book

View all search results for this book