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ł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Ahmed Bouajjani
Kod Libristo: 01656599
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Cały opis
? points 146 b
Gwarancja
najlepszej
ceny ▸
262.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 9-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Endemische Kretinismus F.de Quervain / Książka Miękka
common.buy 219.09 zł
Malovací ubrusy Šťastní Dinosauři 3ks / Książka binding.
common.buy 68.96 zł
Bohové Efesu Ivana Špičková / Książka Twarda
common.buy 51.41 zł
Master Musicians Of Jajouka Led By Bachir Attar: Jajouka Between The Mountains The Master Musicians of Jajouka / Audio CD Audio
common.buy 58.67 zł
Anleitung zum Bestimmen der Familien der Phanerogamen Franz Thonner / Książka Miękka
common.buy 146.50 zł
Vzpomínky má každý Alžběta Ottová / Książka Miękka
common.buy 25.40 zł
Erinnerungen eines Reserveoffiziers Eberhard von Breitenbuch / Książka Miękka
common.buy 62.81 zł
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Książka Miękka
common.buy 167.47 zł
J.R.R. Tolkien meséi John Ronald Reuel Tolkien / Książka Twarda
common.buy 50.30 zł
Zapowiedź
Obálky C6 obyčejné (bal.25ks) / Artykuły papiernicze Artykuły papiernicze
common.buy 10.07 zł
Peinture En Europe, Catalogues Raisonnes. Rome. Les Musees, Les Collections Particulieres Georges Edouard Lafenestre / Książka Miękka
common.buy 148.71 zł
Le Grand Dictionnaire Historique. Tome 1, Partie 2 Moreri-L / Książka Miękka
common.buy 149.92 zł
List Koloským Mireia Ryšková / Książka Miękka
common.buy 28.42 zł
Chyťte Žida! Tuvia Tenenbom / Książka Miękka
common.buy 73.60 zł
As sete mortes Carlos Vila Sexto / Książka Miękka
common.buy 79.34 zł

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

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 Automated Technology for Verification and Analysis
Autor Ahmed Bouajjani, Wei-Ngan Chin
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 404
EAN 9783642156427
ISBN 3642156428
Kod Libristo 01656599
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 624
Wymiary 327 x 239 x 28

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

PREMO: A Framework for Multimedia Middleware David Duke / Książka Miękka
common.buy 213.04 zł
Alone at Sea John N. Morris / Książka Miękka
common.buy 105.76 zł
Learning Medicine Peter Richards / Książka Miękka
common.buy 258.42 zł
Easywriter and Grammar Girl's 101 Words Every High School Graduate Needs to Know, Fourth Edition Andrea A. Lunsford / Książka Twarda
common.buy 224.31 zł
Building Unity and Tearing Down Walls of Division Apostle Jermaine Johnson / Książka Miękka
common.buy 46.37 zł
Obstacles II: 5 "MORE" Life Lessons to Be Successful In The Real World Jason Judkins / Książka Miękka
common.buy 30.14 zł
Helmholtz Portfolio Theme Large-Scale Data Management and Analysis (LSDMA) Christopher Jung / Książka Miękka
common.buy 168.68 zł
The Poetical Works of Ambrose Philips Ambrose Philips / Książka Miękka
common.buy 116.35 zł
Producing Success: A Career Guide for Conference Producers David M Hoffman / Książka Miękka
common.buy 66.44 zł
Logical Fictions in Medieval Literature and Philosophy GREENE VIRGINIE / Książka Miękka
common.buy 193.38 zł
Barack Obama in his Own Words Lisa Rogak / Książka Miękka
common.buy 76.82 zł
I See You... Michaela Pirie / Książka Miękka
common.buy 63.01 zł
AutoCAD MEP 2018 for Designers Prof Sham Ticko Purdue Univ / Książka Miękka
common.buy 223.93 zł
Secret War Against Hanoi Richard H. Shultz / Książka Miękka
common.buy 76.82 zł
Ss93 Regions Near and Far Pupil Edition Grade 4 / Książka Twarda
common.buy 557.18 zł
City of Light Lauren Belfer / Książka Miękka
common.buy 64.02 zł
Memoir of a Nazarene Edward J Murray / Książka Twarda
common.buy 133.69 zł
1968 Robert P Fitton / Książka Miękka
common.buy 86.60 zł
Anecdotes Of Literature And Scarce Books V6 William Beloe / Książka Miękka
common.buy 184.21 zł
XXI Century Technosphere Quality Management Gladun Viktor Gladun / Książka Miękka
common.buy 147.92 zł
The Making of Mexico Pamela K. Starr / Książka Twarda
common.buy 300.26 zł
The Strangers: Chapter 1 / Wideo DVD
common.buy 30.04 zł
TOP
Lebanese Baking ABOOD MAUREEN / Książka Twarda
common.buy 120.18 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?