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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

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
50.99 € včetně DPH
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Voyage, découvre, explore. Les espèces mènacées Trevisan / Książka Leporelo
common.buy 14.49 €
Cenni Illustrativi Sul Monumento a Tiziano Vecellio: Aggiuntevi La Vita Dello Stesso E Notizie Intorno Al Fu Professore Di Scoltura Luigi Zandomenghi Francesco Beltrame / Książka Miękka
common.buy 17.29 €
I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books / Książka Miękka
common.buy 15.59 €
Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen / Książka Miękka
common.buy 19.99 €
Nový Slovenský jazyk 7. roč.- 1. časť J. Krajčovičová / Książka Miękka
common.buy 13.29 €
Tanie
Walter Benjamin Amalia Sato / Książka Miękka
common.buy 1.19 €
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 17.49 €
Tilki ve Sincap - En Güzel Yilbasi Ruth Ohi / Książka Miękka
common.buy 8.09 €
Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky / Książka Miękka
common.buy 10.49 €
Wir Ergeben Uns-Das Beste Zum Schluss Stendal Blast / Audio CD Audio
common.buy 13.59 €
Bella Donna (Remastered) Stevie Nicks / Audio CD Audio
common.buy 12.99 €
Sämtliche Solo-Klavierwerke vol.15 Ronald Brautigam / Audio CD Audio
common.buy 22.79 €
Question Monetaire: Conference Imhaus-G / Książka Miękka
common.buy 13.69 €
Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George / Książka Miękka
common.buy 23.79 €
Dzdzownica Zaneta Pszczolki Lotniczki / Gra/Zabawka Gra
common.buy 15.79 €

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 203.39 €
Resocialising Europe in a Time of Crisis Nicola Countouris & Mark Freedland / Książka Twarda
common.buy 111.69 €
Postures and Movement Patterns of the Human Hand Catherine A. Trombly Latham / Książka Miękka
common.buy 33.29 €
Land Warmed by a Song Rustaveli Publishing LLC / Książka Miękka
common.buy 16.19 €
Quiz Questions: General Knowledge - Trivia Questions and Answers Dennis Lenz / Książka Miękka
common.buy 11.39 €
200 Worksheets - Find Successor of 7 Digit Numbers: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 9.39 €
Essay Writing Made Easy: for Everyone Who Hates to Write Essays Shannon Michal Dow / Książka Miękka
common.buy 6.39 €
Core and Equilibria of a Large Economy. (PSME-5) Werner Hildenbrand / Książka Twarda
common.buy 129.79 €
Spiritual Appeal to Christ's Bride Jodocus Van Lodenstein / Książka Miękka
common.buy 11.19 €
The Ecology Book Tom Hennigan / Książka Twarda
common.buy 17.39 €
Theres a Medical Name for This Kerrin P. Sharpe / Książka Miękka
common.buy 14.59 €
War Years of a Teenager Eugene Cowles / Książka Twarda
common.buy 31.09 €

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?