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

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

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

Nawet do 30 dni na zwrot

Klienci kupili także

Rochefiere: Etudes Humaines Monteil-E / Książka Miękka
common.buy 109.16 zł
Natya Shala / Książka Miękka
common.buy 71.54 zł
The Boy From Nowhere Grigi Valandy / Książka Miękka
common.buy 78.00 zł
Standard contre standards Gabrielle Beguin / Książka Miękka
common.buy 107.31 zł
Derrière l'écran K.L. Blackmoore / Książka Miękka
common.buy 54.01 zł
Churpfalzbaierisches Regierungsblatt Anonym / Książka Miękka
common.buy 102.49 zł
Duanin Ruhu Eva De Vitray-Meyerovitch / Książka Miękka
common.buy 44.17 zł
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Książka Miękka
common.buy 70.10 zł
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Książka Miękka
common.buy 201.10 zł
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Książka Miękka
common.buy 52.37 zł
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Książka Miękka
common.buy 71.23 zł
Baukosten Senken Ernst G. Brehmer / Książka Miękka
common.buy 265.48 zł

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

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 Cyrille Artho, Axel Legay, Doron Peled
Język Angielski
Oprawa Książka - Miękka
Data wydania 2016
Liczba stron 530
EAN 9783319465197
ISBN 3319465198
Kod Libristo 13938039
Wydawnictwo Springer International Publishing AG
Waga 8132
Wymiary 155 x 235 x 31

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ć

ONE EARTH SPINELLI EILEEN / Książka Twarda
common.buy 35.56 zł
DreamWork Kelly Wallace / Książka Miękka
common.buy 42.94 zł
Treatise of Beneficiary Matters PAOLO SARPI / Książka Twarda
common.buy 149.24 zł
Milarepa and the Art of Discipleship I Sangharakshita / Książka Twarda
common.buy 136.83 zł
John Deere 6351T AR65349 Turbocharger Rebuild Guide and Shop Manual: Garrett Honeywell T04B26 409760-0001, 409760-9001, 409760-5001, 409760-1 Turbocha Brian Smothers / Książka Miękka
common.buy 142.27 zł
My Baby Girls First Yearbook Dru L Murray / Książka Miękka
common.buy 47.96 zł
Reassessing Foucault Colin Jones / Książka Miękka
common.buy 267.32 zł
Call Diana Sautelle / Książka Miękka
common.buy 110.39 zł
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Książka Miękka
common.buy 169.74 zł
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Książka Miękka
common.buy 64.06 zł
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Książka Miękka
common.buy 98.60 zł
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Książka Miękka
common.buy 75.64 zł
The Eye of the Virgin Frederick Ramsay / Książka Miękka
common.buy 76.36 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?