phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Automated Technology for Verification and Analysis

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Cyrille Artho
Libristo kod: 13938039
Nakladnici Springer International Publishing AG, rujan 2016
This book constitutes the proceedings of the 14th International Symposium on Automated Technology fo... Cijeli opis
? points 154 b
61.56 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Call Diana Sautelle / Meki uvez
common.buy 27.19 €
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Meki uvez
common.buy 46.80 €
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Meki uvez
common.buy 13.33 €
Duanin Ruhu Eva De Vitray-Meyerovitch / Meki uvez
common.buy 11.21 €
Rochefiere: Etudes Humaines Monteil-E / Meki uvez
common.buy 26.88 €
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Meki uvez
common.buy 36.49 €
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Meki uvez
common.buy 21.73 €
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante / Meki uvez
common.buy 11.41 €

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.

Informacije o knjizi

Puni naziv Automated Technology for Verification and Analysis
Autor Cyrille Artho, Axel Legay, Doron Peled
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 530
EAN 9783319465197
ISBN 3319465198
Libristo kod 13938039
Nakladnici Springer International Publishing AG
Težina 8132
Dimenzije 155 x 235 x 31

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun