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
222.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Baukosten Senken Ernst G. Brehmer / Książka Miękka
common.buy 264.67 zł
Derrière l'écran K.L. Blackmoore / Książka Miękka
common.buy 57.12 zł
Standard contre standards Gabrielle Beguin / Książka Miękka
common.buy 106.99 zł
The Boy From Nowhere Grigi Valandy / Książka Miękka
common.buy 76.74 zł
Natya Shala / Książka Miękka
common.buy 71.32 zł
Liquidi. Le sostanze che scorrono nella nostra vita Mark Miodownik / Książka Miękka
common.buy 100.45 zł
»Tarifbindung« durch betriebliche Übung. Charlotte Jaekel / Książka Miękka
common.buy 456.49 zł
Churpfalzbaierisches Regierungsblatt Anonym / Książka Miękka
common.buy 101.26 zł
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Książka Miękka
common.buy 71.01 zł
Rochefiere: Etudes Humaines Monteil-E / Książka Miękka
common.buy 108.83 zł
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Książka Miękka
common.buy 69.89 zł
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Książka Miękka
common.buy 200.29 zł
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Książka Miękka
common.buy 52.21 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ć

Oh What A Lovely War / Książka Twarda
common.buy 31.06 zł
ONE EARTH SPINELLI EILEEN / Książka Twarda
common.buy 35.65 zł
The Diary from the Cottage by the Loch: An utterly heart-warming, gripping and emotional Scottish romance Kennedy Kerr / Książka Miękka
common.buy 46.90 zł
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Książka Miękka
common.buy 169.22 zł
DreamWork Kelly Wallace / Książka Miękka
common.buy 42.81 zł
Treatise of Beneficiary Matters PAOLO SARPI / Książka Twarda
common.buy 148.79 zł
Milarepa and the Art of Discipleship I Sangharakshita / Książka Twarda
common.buy 136.32 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 141.84 zł
My Baby Girls First Yearbook Dru L Murray / Książka Miękka
common.buy 47.82 zł
Principles of Property in Land. John Boyd Kinnear / Książka Miękka
common.buy 86.34 zł
Call Diana Sautelle / Książka Miękka
common.buy 97.38 zł
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Książka Miękka
common.buy 63.86 zł
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Książka Miękka
common.buy 98.30 zł
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Książka Miękka
common.buy 75.41 zł
San Bruno Darold Fredericks / Książka Miękka
common.buy 90.02 zł
The Eye of the Virgin Frederick Ramsay / Książka Miękka
common.buy 76.12 zł
International Place Branding Yearbook 2010 Frank Go / Książka Twarda
common.buy 233.50 zł
Reassessing Foucault Colin Jones / Książka Miękka
common.buy 279.69 zł
Expression and Interpretation in Language Susan Petrilli / Książka Twarda
common.buy 1 034.40 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?