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

Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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: 107.39 EUR
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

263 b

107.39 € včetně DPH

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.

34.80 €

Ein Farb- und Kontextbasierter Ansatz zur Objekterkennung Gesa Lorenz

Miękka

40.39 €

Wissenschaft und Öffentlichkeit als Ressourcen füreinander Sybilla Nikolow

Miękka

48.59 €

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

Miękka

22.89 €

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

Miękka

48.19 €

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

Miękka

14.49 €

Resilientes Angel Joel Méndez López

Miękka

9.69 €

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

Miękka

28.39 €

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

Miękka

42.39 €

Die kleinen Widrigkeiten des Lebens Grace Paley

Twarda

19.95 €

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

Miękka

15.00 €

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

Miękka

19.80 €

Digital Twin Adoption and BIM-GIS Implementation Sara Shirowzhan

Twarda

264.80 €

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

Miękka

37.69 €

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

Miękka

1.39 €

Vražedný lov Hana Militká

Twarda

6.79 €

Badem

Miękka

13.00 €

Predigt von den schrecklichen Verirrungen eines verderbten Volkes Johann Gabelhofer

Miękka

12.90 €

Koenig Herodes BERNHARD LEPEL

Twarda

124.09 €

Die Organisierte Hand Des Marktes Simon Dombrowski

Miękka

65.39 €

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

Miękka

55.29 €

Educacion Brasilena Heitor Romero Marques

Miękka

27.19 €

EL RECUERDO EGIPCIO

Miękka

17.39 €

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

Miękka

22.60 €

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.