Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software: Theories, Tools, and Experiments

Name: Verified Software: Theories, Tools, and Experiments
Brand: Springer International Publishing AG
SKU: 02896192
Price: 220.93 PLN
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

Język

Angielski

Książka Miękka

Kod Libristo: 02896192

Wydawnictwo Springer International Publishing AG, styczeń 2016

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Cały opis

Kod Libristo: 02896192

125 b

220.93 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Miękka

139.82 zł

Las Siete Dinastías / The Seven Dynasties Strukul

Twarda

81.60 zł

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

Twarda

85.85 zł

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

Miękka

96.49 zł

Autant en emporte le vent Tarditi

Książka

113.29 zł

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

Miękka

99.52 zł

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

Książka

627.26 zł

Guide du Routard Milan et ses environs 2025/26

Miękka

66.41 zł

Rodinný plánovací kalendář 2026

Kalendarz

7.08 zł

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

Miękka

209.38 zł

Hyundai Lantra/Elantra 1996 - 2006 Larry Warren

Miękka

115.22 zł

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

Twarda

2 250.48 zł

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

Miękka

44.74 zł

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

Miękka

48.79 zł

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

Karta

35.02 zł

Optimisation de Forme Des Structures Abdessalem Jarraya

Miękka

187.11 zł

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

Miękka

69.25 zł

Concours Ouvert Par La Ligue Du Parti National Hillon-A

Miękka

58.52 zł

Histoire d'Un Morceau de Charbon Hement-E

Miękka

86.77 zł

Servante Insoumise(la) Jane Harris

Miękka

49.30 zł

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

Miękka

196.83 zł

Accompagner les petites filles victimes de violences sexuelles Julie Junquet

Miękka

51.22 zł

Uriage Et Ses Eaux Salines Et Sulfureuses NIEPCE-A

Miękka

66.41 zł

Alexander ve Oyuncak Fare Leo Lionni

Miękka

51.93 zł

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.