Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Kod Libristo: 01558944
Wydawnictwo Springer, Berlin, listopad 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Książka Miękka
common.buy 126.98 zł
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Książka Miękka
common.buy 115.15 zł
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Książka Twarda
common.buy 46.19 zł
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Książka Miękka
common.buy 65.74 zł
Koran Hermann-Josef Frisch / Książka Miękka
common.buy 53.71 zł
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Książka Miękka
common.buy 77.87 zł
Sóvárgás Tracy Wolff / Książka Twarda
common.buy 66.64 zł
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Książka Miękka
common.buy 91.10 zł
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Książka Miękka
common.buy 682.64 zł
Stvorenie hriechu Michal Kučerka / Książka Miękka
common.buy 33.77 zł
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Książka Miękka
common.buy 28.65 zł
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Książka Miękka
common.buy 40.08 zł

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verification, Model Checking, and Abstract Interpretation
Autor Bernhard Steffen, Giorgio Levi
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 325
EAN 9783540208037
ISBN 3540208038
Kod Libristo 01558944
Wydawnictwo Springer, Berlin
Waga 480
Wymiary 156 x 234 x 18

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Cybersecurity Evan Jones / Książka Miękka
common.buy 200.14 zł
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Książka Miękka
common.buy 23.64 zł
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Książka Twarda
common.buy 113.85 zł
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Książka Miękka
common.buy 85.89 zł
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Książka Twarda
common.buy 194.03 zł
Truths of Spiritualism Wilson Ebenezer V. Wilson / Książka Miękka
common.buy 113.35 zł
The Things We Do For Love: Luke & Shelly Anita Louise / Książka Miękka
common.buy 55.12 zł
Unlevel Crossings Michael O'Leary / Książka Miękka
common.buy 30.46 zł
Letters from Dollar the Contributor Bunny McCollonough Ceili / Książka Miękka
common.buy 36.17 zł
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Książka Miękka
common.buy 79.77 zł
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Książka Miękka
common.buy 218.69 zł
NRSV Reference Bible, NR560:X BIBLE / Książka Twarda
common.buy 85.68 zł
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 32.36 zł
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Książka Miękka
common.buy 58.92 zł
History of the Roman Empire John Bagnell Bury / Książka Miękka
common.buy 154.84 zł
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Książka Miękka
common.buy 157.05 zł
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Książka Miękka
common.buy 435.98 zł
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Książka Twarda
common.buy 218.69 zł
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Książka Miękka
common.buy 82.58 zł
Self-Determination and Secession in International Law Christian Walter / Książka Twarda
common.buy 810.73 zł
History, Politics, and the Novel Dominick LaCapra / Książka Miękka
common.buy 217.28 zł
In Subordination Mary Kinnear / Książka Miękka
common.buy 188.62 zł
Physics of High Power Laser Matter Interactions H. Takabe / Książka Twarda
common.buy 711.50 zł
Factors Affecting Calf Crop Michael J. Fields / Książka Twarda
common.buy 1 346.25 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo