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

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Kod Libristo: 01569894
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luty 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... 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

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Książka Miękka
common.buy 269.48 zł
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Książka Miękka
common.buy 211.77 zł
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Książka Książka
common.buy 169.91 zł
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Książka Miękka
common.buy 12.74 zł
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Książka Miękka
common.buy 96.54 zł
L'ORTHODONTIE FONCTIONNELLE Choukroun / Książka Miękka
common.buy 244.19 zł
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Książka Miękka
common.buy 103.57 zł
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Książka Miękka
common.buy 46.26 zł
Engagementpolitik Thomas Olk / Książka Miękka
common.buy 339.53 zł
Geburt der Musik Willy Pastor / Książka Miękka
common.buy 94.74 zł
Djinn Jorge Pardo / Audio CD Audio
common.buy 97.95 zł
Ränder der Moderne Robert Weimann / Książka Miękka
common.buy 54.79 zł

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid 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 Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 325
EAN 9783540781622
ISBN 3540781625
Kod Libristo 01569894
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 522
Wymiary 155 x 235 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ć

Electrochemistry IV Eberhard Steckhan / Książka Twarda
common.buy 583.43 zł
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Książka Miękka
common.buy 65.73 zł
Westmorland Alone Ian Sansom / Audiobook MP3
common.buy 60.41 zł
Trump Boom Andrew Puzder / Książka Miękka
common.buy 60.61 zł
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Książka Miękka
common.buy 43.65 zł
Jake Wolf Attorney at Law David Shaw / Książka Miękka
common.buy 38.93 zł
Truffaut on Cinema Anne Gillain / Książka Miękka
common.buy 154.56 zł
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Książka Miękka
common.buy 51.18 zł
Guide Book To York Minster F. Harriso / Książka Miękka
common.buy 89.32 zł
Prince of Rockport Guy Vanamburg / Książka Miękka
common.buy 81.79 zł
Essay on the Progressive Improvement of Mankind. an Oration Delivered in the Chapel of Trinity College, Cambridge, on the Day of Commemoration ... William Lamb Melbourne / Książka Miękka
common.buy 53.59 zł
National Flood Insurance Program Cameron O'Kelly / Książka Miękka
common.buy 373.36 zł
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio CD Audio
common.buy 391.53 zł
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Książka Twarda
common.buy 384.70 zł
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Książka Miękka
common.buy 151.04 zł
Twentieth-Century Diplomacy John W. Young / Książka Miękka
common.buy 258.44 zł
Discover English 3 Učebnice Jayne Wildman / Książka Miękka
common.buy 85.80 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?