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

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck
Kod Libristo: 01556086
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2002
This book constitutes the refereed proceedings of the 4th International Conference on Verification,... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Voyage, découvre, explore. Les espèces mènacées Trevisan / Książka Leporelo
common.buy 73.36 zł
I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books / Książka Miękka
common.buy 70.25 zł
Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc / Książka Twarda
common.buy 87.41 zł
Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky / Książka Miękka
common.buy 53.39 zł
Bella Donna (Remastered) Stevie Nicks / Audio CD Audio
common.buy 34.31 zł
Question Monetaire: Conference Imhaus-G / Książka Miękka
common.buy 61.82 zł
Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George / Książka Miękka
common.buy 106.88 zł
Dzdzownica Zaneta Pszczolki Lotniczki / Gra/Zabawka Gra
common.buy 50.78 zł
Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen / Książka Miękka
common.buy 76.37 zł

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

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 Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 328
EAN 9783540003489
ISBN 3540003487
Kod Libristo 01556086
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1070
Wymiary 155 x 233 x 19

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ć

Advances in Solid State Physics Bernhard Kramer / Książka Twarda
common.buy 871.89 zł
Resocialising Europe in a Time of Crisis Nicola Countouris & Mark Freedland / Książka Twarda
common.buy 502.23 zł
Core and Equilibria of a Large Economy. (PSME-5) Werner Hildenbrand / Książka Twarda
common.buy 434.08 zł
War Years of a Teenager Eugene Cowles / Książka Twarda
common.buy 138.60 zł
Theres a Medical Name for This Kerrin P. Sharpe / Książka Miękka
common.buy 66.94 zł
Spiritual Appeal to Christ's Bride Jodocus Van Lodenstein / Książka Miękka
common.buy 59.01 zł
TOP
Postures and Movement Patterns of the Human Hand Catherine A. Trombly Latham / Książka Miękka
common.buy 150.14 zł
Land Warmed by a Song Rustaveli Publishing LLC / Książka Miękka
common.buy 81.79 zł
Essay Writing Made Easy: for Everyone Who Hates to Write Essays Shannon Michal Dow / Książka Miękka
common.buy 32.41 zł
200 Worksheets - Find Successor of 7 Digit Numbers: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 47.46 zł
Happiness With Positive Thinking: Discard Worries For Happy Living MR Baldev Bhatia / Książka Miękka
common.buy 62.92 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