Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

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

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 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Rochefiere: Etudes Humaines Monteil-E / Knjiga Meki uvez
common.buy 25.18 €
Natya Shala / Knjiga Meki uvez
common.buy 16.48 €
The Boy From Nowhere Grigi Valandy / Knjiga Meki uvez
common.buy 17.09 €
Standard contre standards Gabrielle Beguin / Knjiga Meki uvez
common.buy 24.77 €
Derrière l'écran K.L. Blackmoore / Knjiga Meki uvez
common.buy 12.43 €
Churpfalzbaierisches Regierungsblatt Anonym / Knjiga Meki uvez
common.buy 22.45 €
Duanin Ruhu Eva De Vitray-Meyerovitch / Knjiga Meki uvez
common.buy 10.21 €
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Knjiga Meki uvez
common.buy 16.18 €
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Knjiga Meki uvez
common.buy 44.40 €
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Knjiga Meki uvez
common.buy 11.42 €
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Knjiga Meki uvez
common.buy 15.77 €
Baukosten Senken Ernst G. Brehmer / Knjiga Meki uvez
common.buy 61.29 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

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

Moglo bi vas zanimati i

ONE EARTH SPINELLI EILEEN / Knjiga Tvrdi uvez
common.buy 7.68 €
DreamWork Kelly Wallace / Knjiga Meki uvez
common.buy 9.90 €
Treatise of Beneficiary Matters PAOLO SARPI / Knjiga Tvrdi uvez
common.buy 34.48 €
Milarepa and the Art of Discipleship I Sangharakshita / Knjiga Tvrdi uvez
common.buy 31.65 €
John Deere 6351T AR65349 Turbocharger Rebuild Guide and Shop Manual: Garrett Honeywell T04B26 409760-0001, 409760-9001, 409760-5001, 409760-1 Turbocha Brian Smothers / Knjiga Meki uvez
common.buy 32.87 €
My Baby Girls First Yearbook Dru L Murray / Knjiga Meki uvez
common.buy 11.02 €
Reassessing Foucault Colin Jones / Knjiga Meki uvez
common.buy 61.70 €
Call Diana Sautelle / Knjiga Meki uvez
common.buy 25.48 €
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Knjiga Meki uvez
common.buy 39.24 €
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Knjiga Meki uvez
common.buy 14.76 €
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Knjiga Meki uvez
common.buy 22.75 €
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Knjiga Meki uvez
common.buy 17.49 €
The Eye of the Virgin Frederick Ramsay / Knjiga Meki uvez
common.buy 17.59 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?