- 5 Results
Lowest price: € 42.78, highest price: € 74.25, average price: € 51.22
1
Order
at Biblio.co.uk
$ 79.95
(aprox. € 74.25)
Shipment: € 11.861
Order
Provider details
Sponsored link
Flanagan, Cormac (Editor)/ Konig, Barbara (Editor):

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Est - Paperback

2012, ISBN: 9783642287558

Springer Nature, 2020. Paperback. New. 660 pages. 9.25x6.10x1.49 inches., Springer Nature, 2020, 6, Temple Lodge Publishing, 2004-10-01. Paperback. New. New. In shrink wrap. Looks lik… More...

GBR, U.. - Shipping costs: EUR 11.86 Revaluation Books, GridFreed LLC, Revaluation Books
close (x)
2
Tools and Algorithms for the Construction and Analysis of Systems 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 - Flanagan, Cormac und Barbara König
Order
at booklooker.de
€ 42.78
Shipment: € 0.001
Order
Provider details
Sponsored link

Flanagan, Cormac und Barbara König:

Tools and Algorithms for the Construction and Analysis of Systems 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 - used book

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
close (x)
3
Tools and Algorithms for the Construction and Analysis of Systems 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 - Flanagan, Cormac und Barbara König
Order
at booklooker.de
€ 42.78
Shipment: € 0.001
Order
Provider details
Sponsored link
Flanagan, Cormac und Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems 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 - used book

2012

ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
close (x)
4
Tools and Algorithms for the Construction and Analysis of Systems 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 - Flanagan, Cormac und Barbara König
Order
at booklooker.de
€ 42.78
Shipment: € 0.001
Order
Provider details
Sponsored link
Flanagan, Cormac und Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems 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 - used book

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
close (x)
5
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Order
at lehmanns.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - First edition

2012, ISBN: 9783642287558

Paperback

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, Proc… More...

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Tools and Algorithms for the Construction and Analysis of Systems
Author:
Title:
ISBN:

3642287557


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.

Details of the book - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783642287558
ISBN (ISBN-10): 3642287557
Hardcover
Paperback
Publishing year: 2012
Publisher: Springer Berlin
560 Pages
Weight: 0,833 kg
Language: Englisch

Book in our database since 2008-11-03T20:37:29+00:00 (London)
Detail page last modified on 2024-02-19T23:23:17+00:00 (London)
ISBN/EAN: 3642287557

ISBN - alternate spelling:
3-642-28755-7, 978-3-642-28755-8
Alternate spelling and related search-keywords:
Book author: könig barbara, flanagan, corma, cormac
Book title: the tools, analysis systems, tallinn, algorithms, international conference software, estonia, flanagan, system, the science book, lecture notes computer science, theory construction, proceedings construction

< to archive...