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

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Kod Libristo: 01560226
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Cały opis
? points 125 b
218.80 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

la discesa Lucio Mencatelli / Książka Miękka
common.buy 39.90 zł
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Książka Miękka
common.buy 125.64 zł
Una ética para laicos Rorty / Książka Miękka
common.buy 35.89 zł
Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá / Książka Pierścieniowa
common.buy 39.50 zł
Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Książka Miękka
common.buy 151.91 zł
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Książka Miękka
common.buy 173.68 zł
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Książka Miękka
common.buy 106.79 zł
Traumangeln auf Königsfische Rainer J. Bouterwek / Książka Twarda
common.buy 119.02 zł
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Książka Miękka
common.buy 106.09 zł

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

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 Radhia Cousot
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 483
EAN 9783540242970
ISBN 354024297X
Kod Libristo 01560226
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1530
Wymiary 155 x 235 x 27

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ć

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Książka Miękka
common.buy 55.65 zł
Way of the Argosi Sebastien de Castell / Książka Twarda
common.buy 88.34 zł
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Książka Twarda
common.buy 79.11 zł
Crisis of this World Merrill Stephen Mason Merrill / Książka Miękka
common.buy 72.09 zł
Empowering Leadership of Tomorrow Ryszard Praszkier / Książka Miękka
common.buy 170.16 zł
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Książka Miękka
common.buy 134.27 zł
Delarivier Manley: 'The New Atalantis' Manley / Książka Twarda
common.buy 519.14 zł
Cornet Student Fred Weber / Książka Miękka
common.buy 79.41 zł
Froggy Is the Best Jonathan London / Książka Miękka
common.buy 23.26 zł
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Książka Miękka
common.buy 57.05 zł
Abortion Stephane Bordeau / Książka Miękka
common.buy 65.07 zł
L'Inde Pittoresque (1861) Louis Enault / Książka Miękka
common.buy 182.00 zł
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Książka Miękka
common.buy 114.31 zł
Child Health & Human Development Yearbook 2010 Joav Merrick / Książka Twarda
common.buy 1 364.40 zł
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Książka Miękka
common.buy 69.99 zł
Very Bad Wizard Tamler Sommers / Książka Miękka
common.buy 248.18 zł
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Książka Miękka
common.buy 281.78 zł
Bloodchild Anna Stephens / Książka Miękka
common.buy 50.23 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?