Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verified Software: Theories, Tools, and Experiments

Name: Verified Software: Theories, Tools, and Experiments
Brand: Springer International Publishing AG
SKU: 02896192
Price: 20246 HUF
Availability: InStock
Author: Arie Gurfinkel
ISBN: 9783319296128

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Arie Gurfinkel

Seshia Sanjit

Language

English

Book Paperback

Libristo code: 02896192

Publishers Springer International Publishing AG, January 2016

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Full description

Libristo code: 02896192

136 b

20 246 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Guide du Routard Milan et ses environs 2025/26

Paperback

5 529 Ft

Звезда под странной луной Констанс Сэйерс

Hardback

7 871 Ft

Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana

Paperback

19 324 Ft

Accompagner les petites filles victimes de violences sexuelles Julie Junquet

Paperback

4 725 Ft

Las Siete Dinastías / The Seven Dynasties Strukul

Hardback

7 142 Ft

Alexander ve Oyuncak Fare Leo Lionni

Paperback

4 758 Ft

Al tuo fianco. Le consulenze e la valutazione nel Writing and Reading Workshop Elisa Golinelli

Paperback

8 750 Ft

Energía y civilización. Una historia Vaclav Smil

Paperback

8 515 Ft

ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser

Book

52 900 Ft

Autant en emporte le vent Tarditi

Book

9 484 Ft

CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU

Paperback

7 307 Ft

La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano

Paperback

15 088 Ft

Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová

Paperback

3 949 Ft

Tvoje dieťa ako šanca pre teba Zdeňka Jordánová

Paperback

5 308 Ft

(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer

Sheet

2 939 Ft

Die Zeitung in der Republik. Thomas Koch

Paperback

34 455 Ft

Optimisation de Forme Des Structures Abdessalem Jarraya

Paperback

17 265 Ft

Augustin's Lehre über den Tod und der autobiographische Wert seiner Confessiones Jennifer Abel

Paperback

6 380 Ft

Concours Ouvert Par La Ligue Du Parti National Hillon-A

Paperback

4 725 Ft

Histoire d'Un Morceau de Charbon Hement-E

Paperback

6 949 Ft

Servante Insoumise(la) Jane Harris

Paperback

4 100 Ft

Kalvin Elete Es a Kalvinizmus: Emlekul a Nagy Reformator Halala Haromszazados Fordulatara Imre Rvsz

Paperback

9 991 Ft

A Dictionary of Post Classical Yemeni Arabic (2 Vols) M. Piamenta

Hardback

203 621 Ft

Uriage Et Ses Eaux Salines Et Sulfureuses NIEPCE-A

Paperback

6 037 Ft

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International Conference on Verified Software:§Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.§The goal of this conference is to advance the state of the art§in the science and technology of software verification, through the§interaction of theory development, tool evolution, and experimental§validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.