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

Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Madhavan Mukund
Kod Libristo: 01662131
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2012
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Aut... Cały opis
? points 125 b
224.10 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

La France Illustrée. Géographie, Histoire, Administration Et Statistique... Plon / Książka Miękka
common.buy 165.96 zł
EL JARABO Castillo / Książka Miękka
common.buy 93.25 zł
Par-delà le consentement Pimplis / Książka Książka
common.buy 102.90 zł
La meva llengua, la meva vida Costa-Gramunt / Książka Miękka
common.buy 88.73 zł
The rats in the wall + 1CD Howard Phillips Lovecraft / Książka Miękka
common.buy 78.66 zł
ERIC WHITACRE: ANIMAL CRACKERS - VOLUME 1 CHANT WHITACRE Książka binding.
common.buy 27.93 zł
MÁS DE 999 RECETAS SIN BOBADAS DAVID DE JORGE MARTIN BERASATEGUI / Książka Twarda
common.buy 125.29 zł
Alea Aquarius. Die Kraft der Wasserkobolde Simone Hennig / Książka Twarda
common.buy 30.08 zł
Ögretmenlerin Issizligi ve Atamasi Yapilmayan Ögretmenler Hareketi Zafer Kiraz / Książka Miękka
common.buy 251.01 zł
Nicolás Salmerón y Alonso : discursos y escritos políticos Fernando Martínez López / Książka Miękka
common.buy 109.68 zł
Geschichte des Entwicklungsganges der Brandenburgisch-Preußischen Monarchie. Hermann von Ohnesorge / Książka Miękka
common.buy 133.20 zł
Haltungen zum Theodizeeproblem von Norbert Hoerster und John Hick Kim Schlotmann / Książka Miękka
common.buy 70.24 zł
Performance Measurement und Management Jeanette Bode / Książka Miękka
common.buy 270.01 zł
Viktor oder wie man ein Held wird Pina Gertenbach / Książka Twarda
common.buy 74.04 zł

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

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 Madhavan Mukund, Supratik Chakraborty
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 438
EAN 9783642333859
ISBN 3642333850
Kod Libristo 01662131
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 688
Wymiary 155 x 235 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
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ć

Fundamentals of Adhesion L.H. Lee / Książka Twarda
common.buy 669.43 zł
Fragile SARAH HILARY / Książka Miękka
common.buy 75.79 zł
Nothing Remains Hidden - Book 11: Two Wrongs Don't Make a Reich Trisha a. Lindsey / Książka Miękka
common.buy 52.68 zł
The 21 Laws of Strip Club Economics Darius Allen / Książka Twarda
common.buy 95.51 zł
Big Emotions Clever Publishing / Książka Leporelo
common.buy 40.66 zł
Nature's God Robert Anton Wilson / Książka Miękka
common.buy 77.94 zł
Gastrointestinal Motility Disorders Eytan Bardan / Książka Miękka
common.buy 480.66 zł
Exploring Friendships, Puberty and Relationships Kate Ripley / Książka Miękka
common.buy 177.47 zł
Crime Scene Unit Management Edward W. Wallace / E-book Adobe ePub DRM
common.buy 384.73 zł
Big English Plus American Edition 4 Student's Book HERRERA MARIO / Książka Miękka
common.buy 172.13 zł
Bodyguard: Ambush (Book 5) Chris Bradford / Książka Miękka
common.buy 65.21 zł
ENSURING HIGH-QUALITY CURRICUL Angela Di Michele Lalor / Książka Miękka
common.buy 119.44 zł
Lose the Business Plan Allon Raiz / E-book Adobe ePub DRM
common.buy 44.46 zł
Kick Fear To The Curb SQ Eads / E-book Adobe ePub DRM
common.buy 12.93 zł
Career of Evil Robert Galbraith / Książka Twarda
common.buy 192.36 zł
Beyond Memory Greta Lynn Uehling / Książka Miękka
common.buy 501.82 zł
Making It Happen Iain Martin / Książka Miękka
common.buy 47.54 zł
The Green Fairy Book Andrew Lang / Książka Miękka
common.buy 59.56 zł
KJV Holy Bible, Large Print Medium Format, Fucsia Faux Leather W/Ribbon Marker, Red Letter, Thumb Index / Książka Miękka
common.buy 100.34 zł
Semantics and Metaphysics of Natural Kinds Helen Beebee / Książka Miękka
common.buy 380.21 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?