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

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Bernd Finkbeiner
Kod Libristo: 09524362
Wydawnictwo Springer International Publishing AG, listopad 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Cały opis
? points 125 b
224.06 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

En busca del candidato de Manchuria Marks / Książka Miękka
common.buy 116.13 zł
Nyx el Regulador 3, Ofidia Corbeyran / Książka Miękka
common.buy 90.15 zł
Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Książka Miękka
common.buy 154.64 zł
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Książka Miękka
common.buy 611.60 zł
Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Książka Miękka
common.buy 87.28 zł
Tajomstvo reči tela Monika Stehlíková / Książka Twarda
common.buy 87.69 zł
Passages de l'image Książka Książka
common.buy 196.64 zł
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études Książka Miękka
common.buy 115.10 zł
TOP
Manolito Gafotas Elvira Lindo / Książka Miękka
common.buy 28.85 zł
Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-book Adobe ePub DRM
common.buy 28.64 zł

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

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 Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 520
EAN 9783319249520
ISBN 3319249525
Kod Libristo 09524362
Wydawnictwo Springer International Publishing AG
Waga 8015
Wymiary 155 x 235 x 30

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Frontiers of Combining Systems Carsten Lutz / Książka Miękka
common.buy 224.06 zł
Organic Fertilizers Ghazala Yaqub / Książka Twarda
common.buy 839.57 zł
Becoming a Great Inclusive Educator Scot Danforth / Książka Miękka
common.buy 192.32 zł
Contemporary Legend Gillian Bennett / Książka Miękka
common.buy 317.30 zł
Ladybird: of Love and Honor Samantha Livingston / Książka Twarda
common.buy 149.61 zł
Theorizing Globalization Marko Ampuja / Książka Twarda
common.buy 981.69 zł
Eloise at the Wedding Margaret McNamara / Książka Twarda
common.buy 72.59 zł
Rethinking Hell Christopher M. Date / Książka Twarda
common.buy 234.12 zł
Letter to the Right Honourable Charles Jenkinson John Almon / Książka Miękka
common.buy 50.72 zł
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Książka Miękka
common.buy 153.61 zł
Little Blue Truck Leads the Way Alice Schertle / Książka Twarda
common.buy 68.48 zł
New and Experimental Approaches to Writing Lives Hugh Craig / Książka Twarda
common.buy 499.67 zł
The Divine Comedy of Dante Alighieri James Innes Minchin / Książka Miękka
common.buy 123.83 zł
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Książka Miękka
common.buy 68.48 zł
Forced Conversion Donald J Bingle / Książka Miękka
common.buy 64.38 zł
Advanced Python Development Matthew Wilkes / Książka Miękka
common.buy 179.90 zł
Cones Visit the Children's Hospital Chris Madeley / Książka Miękka
common.buy 59.55 zł
The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer / Książka Miękka
common.buy 165.93 zł
China from a U.S. Policy Perspective Heikkila / Książka Miękka
common.buy 267.80 zł
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Książka Twarda
common.buy 645.08 zł
Bird Populations Ian Newton / E-book Adobe ePub DRM
common.buy 243.77 zł
Literary Channel Margaret Cohen / E-book Adobe ePub DRM
common.buy 256.10 zł
Zapowiedź
AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten / Książka Twarda
common.buy 243.77 zł
Geometrical Pictures In Hadronic Collisions: A Reprint Volume S. Y. Lo / Książka Miękka
common.buy 501.52 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?