Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660701
Price: 58.12 EUR
Availability: InStock
Author: Cormac Flanagan
ISBN: 9783642287558

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Cormac Flanagan

Barbara König

Language

English

Book Paperback

Libristo code: 01660701

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2012

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms f... Full description

Libristo code: 01660701

142 b

58.12 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

A lélek sötét oldala

Book

14.25 €

BABADADA black-and-white, Chinese (in chinese script) - Akan Kasa, visual dictionary (in chinese script) - krataa ns?m nkyer?se? w? mu Babadada GmbH

Paperback

7.72 €

MAISON DE PIERRE LOTI (LA) Jean-Pierre Melot

Paperback

11.23 €

Zrodzeni z legendy Deonn Tracy

Paperback

14.04 €

Dein Schicksal liegt in deinen Händen Rubi Astrólogas

Paperback

27.70 €

Directoire Pedagogique A l'Usage Des Ecoles Chretiennes Procure Generale

Paperback

21.47 €

Ulisse Aldrovandi MASON

Paperback

34.52 €

Coloriage géant de la ferme BECHET

Paperback

6.52 €

Le Hobbit, illustré par Tove Jansson Tolkien

Paperback

33.02 €

The art of Gandhara : buddhist monks'art on the north-west frontier of Pakistan Francine

Paperback

41.05 €

Extase Minot

Paperback

17.36 €

Vorratsplaner: Kaffee Motiv I Ernährungsmittel Notfallvorsorge für Krisen, Epidemien und Stromausfall Reinhold Anker

Paperback

8.82 €

Le Sisteme Des Anciens Et Des Modernes (1733) Marie Huber

Hardback

46.47 €

Psychographische Kundensegmentierungen. Vorteile, Einsatzmöglichkeiten und Risiken für Kreditinstitute Viktoria Hagelganz

Paperback

16.96 €

Legal Persons - "k mpfe" Und Die Organisationale Form Thomas Matys

Paperback

47.88 €

Klassische Heilkräuter mit Rezepten Eckart Pontow

Hardback

7.72 €

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.§The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.