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

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Franck Cassez
Kod Libristo: 05338676
Wydawnictwo Springer International Publishing AG, wrzesień 2014
This book constitutes the proceedings of the 12th International Symposium on Automated Technology fo... Cały opis
? points 125 b
223.18 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Catalogue de Tableaux Modernes, Aquarelles, Pastels, Dessins Par Nanny Adam, Ary Scheffer / Książka Miękka
common.buy 55.02 zł
Die Tote im roten Kleid Ann Cleeves / Książka Miękka
common.buy 74.04 zł
TOP Tanie
Zvláštny návrat Rachel Priceovej Holly Jackson / Książka Miękka
common.buy 60.54 zł

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 papers presented in this volume were carefully reviewed and selected from 76 submissions.

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 Franck Cassez, Jean-Francois Raskin
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 430
EAN 9783319119359
ISBN 3319119354
Kod Libristo 05338676
Wydawnictwo Springer International Publishing AG
Waga 6847
Wymiary 155 x 235 x 18

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) > Matematyczna teoria obliczeń
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ć

Fluoride in Drinking-Water K Bailey / Książka Miękka
common.buy 405.24 zł
Proceedings of Ninth International Congress on Information and Communication Technology Xin-She Yang / Książka Miękka
common.buy 977.33 zł
Whatever Next? Anne Glenconner / Książka Miękka
common.buy 68.01 zł
Forensic Science and Legal Medicine Francesco Sessa / Książka Twarda
common.buy 198.22 zł
Catalog of 16mm Silent Motion Picture Film Library; E Inc Mogull's Camera and Film Exchange / Książka Miękka
common.buy 71.39 zł
The Sunday Afternoon: Fifty-Two Brief Sermons (1871) James Baldwin Brown / Książka Miękka
common.buy 165.28 zł
Aesthetics of Fraudulence in Nineteenth-Century France Scott Carpenter / Książka Miękka
common.buy 316.05 zł
Genesis: An Introduction and Commentary Andrew E Steinmann / Książka Miękka
common.buy 91.74 zł
Someday Is Now Olugbemisola Rhuday-Perkovich / Książka Twarda
common.buy 63.51 zł
Simple Machines Pack A of 6 RUSTAD MARTHA E H / Książka Miękka
common.buy 201.90 zł
Menace J M Darhower / Książka Miękka
common.buy 64.12 zł
Love and Legislature Peter Styles / Książka Miękka
common.buy 48.37 zł
OTHER MINDS Peter Godfrey-Smith / Książka Miękka
common.buy 62.49 zł
Fracture of Composite Orthotropic Plates Containing Periodic Buffer Strips Feridun Delale / Książka Miękka
common.buy 79.47 zł
Coaching Through Effective Feedback - A Practical uide to Successful Communication Paul J. Jerome / Książka Miękka
common.buy 128.77 zł
Lectures on the History of Physiology Michael Foster / Książka Miękka
common.buy 189.42 zł
WDM Systems and Networks Neophytos (Neo) Antoniades / Książka Miękka
common.buy 888.54 zł
Life Narratives and Youth Culture Kate Douglas / Książka Twarda
common.buy 390.62 zł
Millie Marotta Journal Millie Marotta / Książka Twarda
common.buy 53.69 zł
Constructivist Psychotherapy Robert A Neimeyer / Książka Miękka
common.buy 135.01 zł
Coping Successfully with Pain Neville Shone / Książka Miękka
common.buy 83.35 zł
Art Isn't Easy Joanne Gordon / Książka Miękka
common.buy 81.00 zł
Korean Neo-Confucianism of Yi Yulgok Young-chan Ro / Książka Miękka
common.buy 154.65 zł
Prenatal Person: Ethics from Conception to Bir th Norman M. Ford / Książka Miękka
common.buy 228.39 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?