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

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

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: 01560474
Price: 425.47 PLN
Availability: InStock
Author: Nicolas Halbwachs
ISBN: 9783540253334

11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Nicolas Halbwachs

Lenore Zuck

Język

Angielski

Książka Miękka

Kod Libristo: 01560474

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2005

This book constitutes the refereed proceedings of the 11th International Conference on Tools and Alg... Cały opis

Kod Libristo: 01560474

236 b

425.47 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Arztinformation Wechselwirkungen Tanja Siebert

binding.

128.06 zł

Ein Farb- und Kontextbasierter Ansatz zur Objekterkennung Gesa Lorenz

Miękka

155.71 zł

Účetní souvztažnosti podnikatelských subjektů Jiří Strouhal

Miękka

91.22 zł

Ich schreite voll Freude durch Strahlung und Glanz (SW) Wolf Wieland

Miękka

212.93 zł

Antología de la poesía rumana contemporánea

Miękka

67.20 zł

Resilientes Angel Joel Méndez López

Miękka

46.41 zł

Conquistadores, emires y califas : los omeyas y la formación de al-Andalus Eduardo Manzano Moreno

Miękka

119.18 zł

Dictionnaire de Chimie Pure Et Appliquee T. 3. T-Z Wurtz-A

Miękka

171.76 zł

Die kleinen Widrigkeiten des Lebens Grace Paley

Twarda

86.48 zł

Sexy Rich Vampires - Nächtliche Sünde Wolfgang Thon

Miękka

55.80 zł

Der Schlüssel zum grossen Euro-Millions-Lottogewinn Zoltán Török

Miękka

84.36 zł

Digital Twin Adoption and BIM-GIS Implementation Sara Shirowzhan

Twarda

1 171.58 zł

Faisceaux amples sur les schemas en groupes et les espaces homogenes Michel Raynaud

Miękka

149.56 zł

Zwierzaki w lesie. Brzdące kolorują (naklejki świecące w ciemności) Opracowanie zbiorowe

Miękka

10.38 zł

Vražedný lov Hana Militká

Twarda

28.45 zł

Badem

Miękka

57.41 zł

Predigt von den schrecklichen Verirrungen eines verderbten Volkes Johann Gabelhofer

Miękka

48.23 zł

Koenig Herodes BERNHARD LEPEL

Twarda

493.39 zł

Die Organisierte Hand Des Marktes Simon Dombrowski

Miękka

258.75 zł

Zur Theorie Der Religion / Sociological Theories of Religion Günter Dux

Miękka

219.29 zł

Educacion Brasilena Heitor Romero Marques

Miękka

106.86 zł

EL RECUERDO EGIPCIO

Miękka

80.32 zł

Uber Sociale Differenzierung: Sociologische Und Psychologische Untersuchungen (1890) Georg Simmel

Miękka

107.77 zł

Abecedario: Notes Inedites Sur Les Arts Et Les Artistes. Pierre-Jean Mariette

Miękka

130.88 zł

This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.§The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.